📡 #数学

18 件 · イベント

「722本の数学論文を一挙公開」OpenAIが認めた3分の1の不完全性と検証の独占

AIが「1テラワット核融合炉」を設計した時、誰が安全許可書にサインできるのか

AI数学安全審査

1万のAIが90年の数学難問を解明：なぜミレニアム賞の100万ドルは3年待たされるのか

フィールズ賞受賞者25名が共同声明、AIによる数学ベンチマーク競争は知の土壌を枯渇させる

AI数学技術的議論

100万ドルのミレニアム懸賞問題解決の報、OpenAIによる未発表ドラフト採掘が引き起こした学術界の激震

人工知能数学OpenAI

テレンス・タオが鳴らす警鐘：AIによるミレニアム数学問題のブラックボックス解決は数学を汚染する

数学AIテレンス・タオ

「人間なら5年」のフェルマーの最終定理、AIがわずか11日で完全検証

AI数学自動化

「究極の公平分配」は可能か？数学者が挑んだ30年来の「不平衡問題」に歴史的ブレイクスルー

量子波は分形迷路をも脱出する：25歳のMIT博士生が高次元フラクタル不確定性原理を証明

「存在するのは2つだけ」と思われていた魔法六角形、実は無限に作れることが証明される

数学科学コミュニケーション証明

「推論コスト僅か2000ドル」OpenAI Astraが未解決の数学難問10問を解明

「AIが90年の数学的難問を打破」の真相——壊れていたのは検証ツールだった

AI数学形式検証

1,294ポイント獲得の話題作：「バグは計算の宿命か、人間性の欠陥か？」Wolframの理論にエンジニアが反論

数学バグソフトウェア哲学

「数学にも暗黒期があった」——学問の根底を揺るがした4つの危機

数学科学哲学思想

天才数学者テレンス・タオ、ChatGPTと共に「ヤコビアン予想」という世紀の難問に挑む

AI数学ChatGPTタオ

AIが数学の反例を続々と発見、数学者を震撼——Erdős、Grothendieck、ヤコビアン予想が覆される

AI数学Lean形式検証

「1つのプロンプト、148分、30年の空白」——GPT-5.6がLeanで証明した凸最適化の下界

AIGPT-5.6数学形式化証明

「16年、数十億人が使って見つけられなかったバグを、数学は20ステップで発見した」——SQLiteのWALに潜んだ競合状態をTLA+が暴く

SQLiteTLA+形式的検証WAL