После споров о «заимствованном» решения проблемы Навье — Стокса, OpenAI решили зайти с козырей. Не одна работа, не две, а сразу 722 математические работы от ещё не выпущенной модели.
Всё опубликовали на GitHub: https://github.com/openai/math
Среди заявленных результатов есть доказательства частного случая гипотезы Ходжа и ослабленной версии гипотезы Римана. Обе входят в ту же семёрку задач тысячелетия, что и Навье — Стокс, хотя полностью пока не решены.
На каждое решение у модели уходило в среднем три часа. Интересно, сколько времени уйдет у математиков на проверку)
@ai_for_devs