OpenAI раскрыла сотни математических результатов, но их проверка только начинается.
Компания выложила 722 рукописи о 372 семействах задач и заявила о 377 новых результатах. Масштаб выпуска меняет обсуждение AI в математике: теперь главная работа сообщества — независимая проверка доказательств и их новизны.