#automated reasoning

OpenAIの数学論文大量公開が導火線に火をつけた

機械が生成した膨大な証明の洪水により、学術的な論争は「誰が科学の進歩を形作るのか」という試練へと変貌した。驚くべきボトルネックは、AIが答えを出せるかどうかではなく、誰がそれを検証し理解できるかという点にあるのかもしれない。