学術研究 【geek-terminalニュース】OpenAIがETH反証を主張、提唱者らが検証へ――Claude独立発見説も
📝 本日のニュース概要 以前お伝えしたAI数学証明騒動の続報です。OpenAIが指数時間仮説（ETH）の反証を主張し、提唱者を含む外部専門家による検証へ。Leanによる形式検証で何が確認でき、何を人間が確かめる必要があるのか。Claudeに...
LEAN
学術研究 学術研究 【geek-terminalニュース】OpenAIのNavier-Stokes証明に「理解」への疑義、正しさと理解は別物か
📝 本日のニュース概要 以前お伝えしたOpenAIのNavier-Stokes証明と数学原稿722本の続報です。今回は、数学者から「OpenAIは自社の証明を理解していないのでは」という疑義が出ているとされる論争を整理します。ただし指定ソー...
学術研究 【geek-terminalニュース】Terence TaoのMath 2.0とAI数学計算資源論の最新情報
📝 本日のニュース概要 以前お伝えしたAI生成数学原稿とTerence Tao周辺議論の続報です。今回はOpenAI数学原稿そのものではなく、Tao氏のCaltech講演スライド「Math 2.0」を中心に、AI数学を証明生成ではなく探索科...
学術研究 【geek-terminalニュース】AI数学炎上、Mathocalypse化とLean検証・査読負荷の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI数学原稿公開の続報です。AI生成証明の大量流入、Lean検証、査読負荷、暗号安全性、数学者コミュニティの反発、OpenAIボイコット論まで、数学がCI/CD化する社会技術的衝突を深掘りします...
学術研究 【geek-terminalニュース】OpenAIのAI数学証明大量公開で査読インフラが揺れ始めた最新情報
📝 本日のニュース概要 OpenAIが未公開内部モデルで生成した数学原稿722本を公開し、372の結果ファミリーとして提示。Lean形式化、GitHub公開、査読負荷、数学コミュニティの反応まで深掘りします。 以前お伝えしたAI数学・Lea...
学術研究 【geek-terminalニュース】Fields Medal受賞者25人が警鐘、AI数学は“証明”より信頼インフラを壊すのか
📝 本日のニュース概要 以前お伝えした数学的AI安全性の続報です。Terence TaoらFields Medal受賞者25人が公開した声明「A Severe Misalignment of AI in Mathematics」を軸に、AI...
学術研究 【geek-terminalニュース】数学者がAI証明時代の“信用プロトコル”を作り始めた最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI数学証明論争の続報。今回は個別証明の真偽ではなく、Caltech Mathathonへの反対書簡、Reddit/HNの“AI math slop”反応、そしてMathematical AI ...
学術研究 【geek-terminalニュース】GPT-6 Astra数学論争、焦点は“証明の真偽”から未公開研究を預ける信頼インフラへ
📝 本日のニュース概要 以前お伝えしたOpenAIの数学証明・査読倫理テーマの続報です。GPT-6 Astraをめぐる論争は、モデル性能そのものよりも、未発表の数学アイデアや私的な研究会話を巨大AI企業に渡せるのかという研究インフラの信頼境...
学術研究 【geek-terminalニュース】OpenAI数学証明騒動、争点は“証明”から“検証パイプラインの信頼性”へ
📝 本日のニュース概要 以前お伝えしたOpenAIのNavier-Stokes証明AI発表の続報です。今回は証明の中身そのものではなく、Lean形式化、査読、研究倫理、AIラボの発表統治、チャット履歴の扱いまで含む“AI時代の数学研究を誰が...
学術研究 【geek-terminalニュース】OpenAIのNavier-Stokes証明AIと検証論争の最新情報
📝 本日のニュース概要 以前お伝えした未解決数学問題・証明検証テーマの続報です。OpenAIがNavier-Stokes Millennium Prize Problemの解とLean形式化を公開したと発表。焦点はミレニアム問題そのものだけ...