Искусственный интеллект решил четыре задачи, которые годами были не под силу ученым

Стартап Axiom утверждает, что разработанный им искусственный интеллект AxiomProver за последние недели сгенерировал несколько новых математических доказательств. Речь идет о доказательствах, которые касаются различных областей теории чисел и алгебраической геометрии. По словам компании, эти результаты свидетельствуют о росте возможностей искусственного интеллекта в задачах, требующих сложного рассуждения, передает Wired.

Хотя искусственный интеллект пока не одолел самых известных математических вызовов, система Axiom за последние недели нашла решение для нескольких задач, которые годами заводили экспертов в тупик. Эти успехи демонстрируют стабильное развитие математических способностей ИИ, который все активнее используется учеными для проверки гипотез и поиска новых идей.

"Я считаю, что искусственный интеллект будет служить новым интеллектуальным инструментом — или, возможно, более уместно сказать "интеллектуальным партнером" — открывая более широкие горизонты для математических исследований", — подчеркнул математик Давей Чен.

ВАС ЗАИНТЕРЕСУЕТ

"Роботам нужно ваше тело": ИИ "арендует людей" для выполнения физических задач

Одно из доказательств касается гипотезы, над которой пять лет назад работал Чен с математиком Квентином Хендроном. Тогда они не смогли обосновать ключевую формулу из теории чисел и представили свою идею только как гипотезу.

Недавно Чен обсудил эту проблему с математиком Кеном Оно, который присоединился к Axiom. На следующий день Оно представил доказательство, сгенерированное системой AxiomProver, после чего результат доработали и опубликовали на arXiv.

"После этого все стало на свои места естественным образом", — отметил Чен. По его словам, инструмент искусственного интеллекта обнаружил связь с числовым явлением, известным еще с XIX века.

ВАС ЗАИНТЕРЕСУЕТ

Reddit для искусственного интеллекта: как работает соцсеть, где люди только наблюдают

AxiomProver полностью самостоятельно доказала гипотезу Фела,которая касается сизигий, или математических выражений, где числа выстраиваются в алгебре. Она базируется на формулах математика Шринивасы Рамануджана, найденных более 100 лет назад в его блокноте. Эксперты, в частности профессор Гарварда Скотт Коминерс, поражены не только автоматизацией процесса, но и "элегантностью и красотой" найденного решения.

Еще два результата касаются вероятностных моделей в теории чисел и методов, разработанных в контексте доказательства Великой теоремы Ферма. В компании отмечают, что речь идет не о самых известных открытых задачах, но о проблемах, которые годами не имели решения.

"Математика — это действительно замечательный полигон и песочница для реальности. Мы действительно считаем, что существует много достаточно важных случаев использования с высокой коммерческой ценностью", — заявила генеральный директор Axiom Карина Хонг.

ВАС ЗАИНТЕРЕСУЕТ

Искусственный интеллект помог ученым найти сотни космических аномалий

Подход Axiom сочетает большие языковые модели с собственной системой AxiomProver, которая специализируется на логическом мышлении. Главным преимуществом является использование языка Lean для автоматической проверки доказательств, что отличает этот инструмент от обычного искусственного интеллекта. Это позволяет системе не просто искать готовые ответы в базах данных, а генерировать новые, математически обоснованные решения.

Ранее Google DeepMind объявила об "историческом достижении" в сфере искусственного интеллекта. Модель Gemini 2.5 за 30 минут решила сверхсложную задачу по гидродинамике, которая оказалась непосильной для участников-людей.

В то же время исследование организации ORCA, проведенное в конце 2025 года, поставило под сомнение надежность искусственного интеллекта в математических вычислениях. Тестирование пяти ведущих моделей — Gemini, Grok, DeepSeek, ChatGPT, Claude — показало, что в среднем чат-боты ошибаются в 40% случаев.