📡 #数学

11 件 · イベント

「究極の公平分配」は可能か？数学者が挑んだ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