Рабочая группа по ИИ и математике: решения OpenAI не отвечают рекомендациям; исследователи нашли расхождения в доказательстве для Навье — Стокса
Материал подготовлен Sintelligent с помощью ИИ. Опубликовано в SI: . Обновлено: .
Спор идёт о том, как принимать доказательства, найденные машиной: без формальной проверки и рецензии их предлагают не считать надёжными.
По данным TechCrunch, из 719 рукописей OpenAI формальную проверку прошли 42%, а ход рассуждений модели приложен лишь к 10. Консультативная группа по математике и ИИ (AGMAI), по тому же источнику, просила лаборатории не проверять передовые математические задачи на закрытых моделях. Терренс Тао, по цитате TechCrunch, сказал, что задачи решаются автономно теми, кто просто задаёт запросы ИИ и не интересуется областью в целом. Исследователи из Кембриджа и King's College, по данным TechCrunch, нашли расхождения между доказательством на естественном языке и его записью на Lean для задачи Навье — Стокса и заключили, что такие решения не стоит принимать на веру без рецензирования.
Источники 1