Математический прорыв: модель Astra от OpenAI решила 10 застарелых научных проблем и опубликовала доказательства

Внутренняя версия модели Astra от OpenAI нашла решения для 10 задач по математике и информатике, остававшихся открытыми более десяти лет, и представила их строгие доказательства, пишет siliconangle. Компания OpenAI представила 249–страничный рукописный сборник и цифровые сертификаты Lean 4 для 10 нерешенных задач, которые были опубликованы на платформе GitHub под лицензией Apache 2.0. Все выведенные алгоритмом доказательства успешно прошли формальную машинную проверку без единого пропуска в логических цепочках.