Некоторые математики призывают к бойкоту OpenAI после наводнения их области доказательствами, сгенерированными ИИ
decoder ·
Ассоциация человеческой математики под руководством лауреата Филдсовской премии Теренса Тао призвала к бойкоту OpenAI после того, как компания выпустила сотни математических рукописей, сгенерированных искусственным интеллектом. Критики утверждают, что эти доказательства часто написаны плотно и плохо, вынуждая экспертов-людей использовать инструменты ИИ для их расшифровки, что нарушает основные нормы научной добросовестности. Тао и другие видные математики предупреждают, что эта эра «Математики 2.0» ставит быстрое решение проблем выше концептуального понимания, что может уничтожить плодородную почву, необходимую для глубоких математических открытий. Этот спор подчеркивает напряжение между пакетным выпуском черновиков OpenAI и альтернативными моделями, такими как Anthropic, которые компенсируют исследователям создание понятных для человека объяснений. Хотя некоторые рассматривают этот шаг как демонстрацию силы, а не scholarship, другие задаются вопросом, можно ли считать проблему решенной, если ее доказательство остается непонятным без искусственной помощи. Несмотря на негативную реакцию, мнения в научном сообществе остаются разделенными относительно эффективности и реалистичности бойкота.
decoder