Учёные из Калифорнийского технологического института представили инновационную модель искусственного интеллекта, способную справляться с проблемами, требующими миллионов логических операций. Эти алгоритмы не только двигают вперёд математическую науку, но и открывают новые горизонты в прогнозировании редких, но разрушительных явлений — от мощных ураганов до нестабильности на финансовых рынках.
В последние годы интерес к использованию ИИ в математике серьёзно вырос.
К примеру, разработка AlphaProof от Google DeepMind показывала уровень серебряного медалиста Международной математической олимпиады 2024 года, а система o3, созданная в OpenAI, имела выдающиеся результаты в сфере точных наук и программирования.
Но специалисты Калифорнийского технологического института решили выйти за границы известных методов, сосредоточившись на задачах, которые на протяжении десятилетий оставались неразрешимыми даже для профессионалов. Они сравнивают свой подход с игрой в шахматы — если стандартные доказательства требуют порядка 30-40 логических шагов, то их модель справляется с вычислениями, насчитывающими тысячи, а иногда и миллионы ходов.
Одним из испытаний для новой системы стала гипотеза Эндрюса-Кёртиса — сложная проблема комбинаторной теории групп, остающаяся нерешённой уже 60 лет. Полного доказательства пока получить не удалось, но алгоритмы исследователей смогли опровергнуть ряд контрпримеров, которые оспаривались в течение последних 25 лет.
В отличие от существующих ИИ-моделей, например, той же o3 от OpenAI, которая уверенно справляется со стандартными вычислениями, новый алгоритм ищет нестандартные и неожиданные пути решения. В основе его обучения лежит метод подкрепления, предполагающий постепенное усложнение задач, начиная с простых и переходя к более сложным.
Помимо чисто математических приложений, разработанные в Калифорнийском технологическом институте алгоритмы находят применение и в смежных областях. Они способны анализировать редкие и аномальные события, которые могут привести к катастрофическим последствиям. Это даёт перспективы для более точного прогнозирования стихийных бедствий, кризисов в экономике и других трудно предсказуемых явлений.
Результаты работы учёных были опубликованы на платформе ArXiv. Сейчас работа продолжается, специалисты продолжают искать решения для других сложных математических проблем. Возможно, предложенные методы однажды позволят справиться даже с задачами уровня премии тысячелетия.
Ещё по теме:
- Судьи теряют терпение к адвокатам, использующих ИИ, который «придумывает» судебные дела
- В Петербурге с 4 марта оплатить проезд биометрией можно на двух станциях метро
- Microsoft показала Dragon Copilot – ИИ-ассистента для медицинских учреждений
