Недавние достижения в области искусственного интеллекта сделали заметный шаг вперёд благодаря разработке нейросетевого теоремного доказывателя, обученного решать сложные задачи олимпиады средней школы, включая соревнования AMC12 и AIME. Этот подход, названный обучением по учебной программе утверждений, позволяет системе находить доказательства формальных утверждений и использовать каждое новое доказательство для улучшения собственных алгоритмов.
В результате экспериментов была достигнута новая высшая точка точности — 41.2% успешных решений против 29.3% у предыдущей методологии наBenchmark miniF2F. Этот успех подчеркивает возможность применения нейросетей для решения задач с высоким уровнем логического мышления. Система может накапливать знания, итеративно улучшая свои способности, что делает её значительно более мощной.
Однако остаются сложности: например, доказательству требуется учитывать множество действий, и задачи не всегда просты для автоматизированного подхода. Тем не менее, дальнейшие исследования в этой области могут открыть новые горизонты для AI, стремящихся решать не только математические, но и более сложные логические проблемы.
*компания Meta Platforms Inc. признана экстремистской организацией, ее деятельность на территории России запрещена