Китайский математик составил список из 1000 задач, способных бросить вызов ИИ
В эпоху, когда искусственный интеллект всё чаще находит ответы на сложные математические задачи, китайский математик Сунь Чживэй считает, что любопытство и умение задавать хорошие вопросы важны как никогда.За годы работы на переднем крае теории чисел 61-летний профессор математического факультета Нанкинского университета Сунь сформулировал для мирового математического сообщества уже более тысячи задач.Хотя традиционное математическое образование делает акцент на освоении существующих формул и доказательстве известных теорем, Сунь считает, что настоящий прогресс зависит от способности с помощью интуиции находить новые вопросы, а затем решать их с помощью логики. «Если в какой‑то дисциплине нет гипотез, люди перестают понимать, чем им заниматься, и эта область приближается к застою», — сказал Сунь изданию China Science Daily. «Искусственный интеллект не сможет решить все математические задачи. Математикам не нужно паниковать. Напротив, они смогут освободить время для вещей, с которыми ИИ справляется хуже, например разработки новых методов и создания новых теорий».«Я отношусь к ИИ как к очень эрудированному, трудолюбивому и умному аспиранту. Когда я поручаю ему трудную математическую задачу, то направляю его и при необходимости предлагаю изменить стратегию», — рассказал он, добавив, что отключает ИИ доступ к поиску в интернете, чтобы тот не обнаружил, что задача до сих пор не решена, и не отказался ею заниматься.По словам Суня, в начале карьеры он был традиционным «решателем задач» и добился важных результатов в исследовании десятой проблемы Гильберта, сформулированной в 1900 году. Переломным моментом стала работа приглашённым профессором в Калифорнийском университете в Ирвайне в 2005 году. Там Сунь познакомился с американским профессором, который умело использовал математические программы для поиска закономерностей, что тогда было для Суня новым подходом. Читать далее
GitHub объявила о переносе 99,99999% репозиториев в Azure
GitHub объявила о переносе 99,99999% репозиториев в облако Azure. Платформа объяснила свой переход «агентным сдвигом», когда рост трафика, генерируемого программными агентами, повысил нагруз…
Гендиректор Nvidia: ИИ способен сделать работу профессионала более эффективной
Дженсен Хуанг считает, что искусственный интеллект и робототехника помогут реализовать амбиции
MiniMax открыла веса M3.1 Flash: MoE-модель на 428 млрд параметров для ИИ-агентов
MiniMax опубликовала веса M3.1 Flash на Hugging Face. Модель рассчитана на программирование, многошаговые задачи с вызовом инструментов, управление компьютерным интерфейсом и анализ уязвимос…
Разработчик Telegram: 99,9% клиентского кода мессенджера пишет AI, а тех кто до сих пор пишет код вручную надо увольнять
Разработчик официального клиента Telegram для macOS Майк рассказал, что практически весь код клиентской части мессенджера уже пишут нейросети. В публичном чате Telegram macOS он рассказал о …