🔢 Ramanujan Challenge: проверка математического интеллекта ИИ
Проект Ramanujan Machine запустил математическое соревнование для проверки способности ИИ решать задачи исследовательского уровня. Участникам предстоит находить и доказывать формулы для фундаментальных констант, таких как π, e и значения дзета-функции Римана, используя системы формальных доказательств вроде Lean, Rocq или Isabelle.
🌍 Соревнование задает новый стандарт оценки ИИ, переходя от простого генеративного текста к строгой проверке способности систем к глубокому логическому выводу и формальному доказательству математических утверждений.
👤 Это возможность увидеть, насколько ИИ близок к уровню реального математического исследования, и протестировать свои навыки или инструменты в решении задач, которые требуют не только вычислений, но и строгой логической верификации.
Источник 1: https://www.ramanujanmachine.com/ramanujan-challenge/