OpenAIによるAI生成の数学証明大量公開を受け、数学界からボイコットの声

要点：OpenAIが内部モデルで生成した700以上の数学証明を公開したことに対し、数学者らが学術的慣習を無視した行為として反発しています。OpenAIはモデルの推論能力を誇示する狙いですが、専門家からは批判的な声明が出されています。