Математики спорят о 722 работах OpenAI: Тао говорит о конце «математики 1.0», другие опасаются плагиата
Материал подготовлен Sintelligent с помощью ИИ. Опубликовано в SI: . Обновлено: .
Спор в науке сместился с вопроса «может ли ИИ доказывать» на вопрос «чьё это достижение» — планка возможного поднялась.
После публикации OpenAI на GitHub 722 работ, созданных внутренней моделью (в среднем около трёх часов вычислений на результат), математики разделились. По данным Fortune, Дэн Литт (Торонто) называет релиз полезным для математики; Терренс Тао (UCLA) видит в нём конец «Math 1.0»: проблемы решают автономно люди, которым нет дела до науки в целом, и это отпугивает молодёжь; Тристан Бакмастер (NYU) спрашивает, проверили ли авторы, не вошли ли в результаты труды людей. OpenAI выложила для многих решений проверяемые компьютером доказательства. По данным Quanta, 6 октября OpenAI объявила о доказательстве полной гипотезы об уникальных играх (в формате Lean, без правки людьми); команда Дора Минцера из MIT 14 сентября, узнав о слухах про ИИ-прорыв, срочно выложила 95-страничную работу по близкому варианту гипотезы после семи лет труда. Semafor пишет, что эксперты спрашивают, проявила ли модель творческое мышление или лишь дописала последние шаги чужих идей.
Источники 3