🤯OpenAI выложили на GitHub 722 математические работы, которые написала её внутренняя, ещё не вышедшая модель😱Модели дали около 4000 открытых задач, в среднем около 3 часов размышлений на результат и из ответов собрали 372 семейства результатов по чистой математике, теории вычислений и матфизике. Часть доказательств уже формально проверена в Lean, остальные OpenAI честно помечает как требующие проверки. Самое громкое: новая область без нулей дзета-функции Римана (Re(s) > 11/12) и гипотеза Ходжа для частного случая. Это не доказательство самих гипотез, но если всё подтвердится, это серьёзные результаты. В X уже разошлось «ИИ решил 90 из 500 главных проблем математики», но там почти везде «частичный прогресс» или «заявка на решение», и проверять это математики будут месяцами.

Выпустить релиз помогала консультативная группа при Институте перспективных исследований в Принстоне.

Похоже, ИИ больше не только решает олимпиадные задачи, а пишет настоящие научные статьи пачками, а ведь это только начало😅

Анонс OpenAI: https://x.com/OpenAI/status/2107596713791767021

Гитхаб: https://github.com/openai/math

P.S.
Интересно, сколько Медалей Филдса уже налутала эта закрытая модель🎖

P.P.S
Нравится математикам это или нет, но их наука переходит в щупальца сверх интеллекта👾