数学の未解決問題がAIによって解決された話題について、グラフ理論を専門とする筆者が自身の経験を交えて語る。AIが数学的証明を生成する速度と精度に対し、専門家の視点から現状をどう捉えるかを考察。