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