Искусственный интеллект справился с теоремой, над которой математики работали полтора года
Стартап Math Inc. представил систему Gauss, которая за три недели смогла довести до конца задачу, над которой ведущие математики ломали голову больше полутора лет. Речь идёт о сложной версии теоремы о простых числах — фундаментальной задачи в теории чисел.
Обычно такие доказательства пишутся для людей, и в них всегда остаётся место для двусмысленностей. Gauss сделал больше: он перевёл решение в строгий формальный вид, где каждый шаг проверяется автоматически. В итоге получилось около 25 тысяч строк кода, включающих более тысячи взаимосвязанных утверждений.
Для сравнения: сообщество математиков смогло продвинуться только до упрощённой версии задачи, и то это заняло у них полтора года. Gauss закрыл полную задачу всего за несколько недель, работая автономно по много часов подряд.
Формализованные доказательства важны тем, что они исключают ошибки. Машина проверяет каждую деталь, и результат можно использовать дальше — как кирпичик для новых исследований. Такие базы строгих доказательств могут ускорить математику в целом и сделать результаты более надёжными.
Важно понимать: Gauss пока не заменяет человека. Машина не придумывает идеи, а выполняет ту часть работы, где важна предельная точность и аккуратность. Интуиция и творческое мышление остаются за людьми. Но именно союз этих подходов может изменить саму практику математики.
Решение Gauss показывает, что искусственный интеллект уже способен брать на себя задачи, которые раньше казались исключительно человеческими. Если удастся масштабировать этот подход, исследователи получат мощного помощника: система сможет проверять гипотезы и строить строгие доказательства быстрее и надёжнее, чем когда-либо прежде.
Скоро мы доживем до времени, когда ИИ-системы будут лидировать во всех областях науки 🫣 Как вам такая перспектива?