Математики: передовые ИИ-лаборатории должны публиковать настоящие доказательства, чтобы мы могли их проверить, а не посты в блогах.

OpenAI: ладно. Вот 722 статьи, объединённые в 372 результата - https://github.com/openai/math

Их подготовила новая внутренняя модель, которую пока не выпустили. Обычные математические тесты оказались для неё слишком простыми, поэтому ей дали около 4 000 нерешённых исследовательских задач. Некоторые не поддавались математикам десятилетиями.

На один результат уходило в среднем около трёх часов вычислений. Ответы модель оформляла как научные статьи. Некоторые претендуют на решение очень известных задач. 😆