OpenAI выложила 372 математических результата, полученных одной моделью, включая заявленное решение гипотезы Какейя в четырёх измеренияхИстория·GPT-6 Astra: выпуск, риски и математические результаты
Одна модель за раз выдаёт сотни математических результатов, и часть уже проверена машиной, — так выглядит начало эпохи, когда ИИ двигает фундаментальную науку быстрее людей.
Источники 2
По данным Scientific American, OpenAI опубликовала на GitHub в 18:00 по нью-йоркскому времени 372 результата из внутренней модели по открытым вопросам математики и теоретической информатики; почти каждый, по словам компании, получен в ответ на один запрос к одному ИИ-агенту. Многие результаты проверены в системе Lean, а среди заявленных — решение гипотезы Какейя в четырёх измерениях и продвижение по гипотезе Римана. Модель не опубликована, компания назвала лишь среднее время вычислений; математик Эндрю Сазерленд из MIT призвал считать такие заявления непроверенными, пока результаты нельзя воспроизвести.