OpenAI опубликовала 722 математические работы, созданные невыпущенной моделью

🤯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