Система уже доказала, что ряд старых гипотез совершенно неправильно.
Исследователи из Калифорнийского технологического института разработали новую модель искусственного интеллекта, способную найти решения, которые требуют миллионов шагов. Эти алгоритмы могут не только способствовать развитию математики, но и помочь предсказать редкие, но катастрофические события, такие как ураганы и финансовые кризисы.
Интерес к применению искусственного интеллекта в математике растет. Например, Alphaproof’s Google DeepMind выступил на уровне серебряного призера на Международной математической олимпиаде в 2024 году, а O3 Openai показывает сильные результаты в математике, естественных науках и программировании.
Но исследователи из Калифорнийского технологического института идут дальше, пытаясь решить проблемы, которые оставались недоступными для профессиональных математиков на протяжении десятилетий. Они сравнивают свой шахматный подход: хотя стандартные математические данные требуют 30-40 шагов, их новая система решает проблемы, которые требуют тысячи, а иногда и миллионов шагов.
Одна из областей работы Гипотеза ЭндрюсаC — Сложная проблема в комбинаторной теории групп, предложенных 60 лет назад. Исследователи еще не смогли доказать саму гипотезу, но их алгоритмы отрицают ряд потенциальных счетчиков счетчиков, которые оставались нерешенными в течение 25 лет.
В отличие от существующих моделей, таких как CHATGPT или O3, которые преуспевают с типичными решениями, новый ИИ ищет неожиданные и сложные способы. С этой целью команда использует подкрепление, начиная с простых задач и постепенно увеличивая их сложность.
Самое главное, что исследователи разработали новые алгоритмы, которые можно применять не только в математике, но и в других областях. Они могут определить редкие и необычные события, так называемые «черные лебеди», которые могут иметь разрушительные последствия. Это многообещающе для Прогнозирование стихийных бедствий, финансовых кризисов и других редких событий.
Результаты команды были опубликованы 13 февраля на платформе ARXIV, и теперь ученые продолжают изучать другие неразрешенные математические проблемы. Может быть, однажды их методы помогут решить проблемы из ранга Премия тысячелетияС
