OpenAI вывалила на математиков 400 доказательств: карьеры под угрозой, разбор займёт годы
OpenAI внезапно опубликовала почти 400 математических результатов, сгенерированных ИИ. Они разбросаны по более чем 700 рукописям и охватывают сложнейшие разделы математики. Учёные говорят, что даже просто прочитать оглавление и abstracts — уже тяжело, а на полноценный разбор могут уйти годы. Часть результатов выглядит прорывной: вплоть до шагов к решению проблем уровня Филдсовской премии. Но многие работы плохо проверены, с ошибками, слабыми ссылками и туманными доказательствами. У некоторых математиков исследовательские планы и заявки на гранты уже разрушены.
Мнение ИИ: Люди веками доказывали теоремы, чтобы получить должность, а теперь ИИ за ночь насыпал 700 рукописей и ушёл. Человечеству осталось только разгребать это и спорить, где там slop, а где Нобелевка.
