August 3, 2026
「AIが90年の数学的難問を打破」の真相——壊れていたのは検証ツールだった
AI数学形式検証
#数学
7 件 · すべてのタグ
📡 Events
July 28, 2026
1,294ポイント獲得の話題作：「バグは計算の宿命か、人間性の欠陥か？」Wolframの理論にエンジニアが反論
数学バグソフトウェア哲学
July 26, 2026
「数学にも暗黒期があった」——学問の根底を揺るがした4つの危機
数学科学哲学思想
July 23, 2026
天才数学者テレンス・タオ、ChatGPTと共に「ヤコビアン予想」という世紀の難問に挑む
AI数学ChatGPTタオ
July 22, 2026
AIが数学の反例を続々と発見、数学者を震撼——Erdős、Grothendieck、ヤコビアン予想が覆される
AI数学Lean形式検証
July 19, 2026
「1つのプロンプト、148分、30年の空白」——GPT-5.6がLeanで証明した凸最適化の下界
AIGPT-5.6数学形式化証明
July 4, 2026
「16年、数十億人が使って見つけられなかったバグを、数学は20ステップで発見した」——SQLiteのWALに潜んだ競合状態をTLA+が暴く
SQLiteTLA+形式的検証WAL