OpenAIが発表した数学的問題の解決策が、専門家の間で物議を醸しています。AIが数学という学問に及ぼす影響と、数学者たちが直面している存在論的な危機について議論します。