学術研究 【geek-terminalニュース】MathCode登場、数学AIは証明する知性なのか超高速な探索装置なのか
📝 本日のニュース概要 MathCodeは自然言語の数学問題をLean 4定理へ変換し、形式証明を試みる端末型AIコーディングエージェントです。永続Lean REPL、Mathlib補題探索、LSP診断修復、並列プランナーを軸に、数学AIの...
学術研究
学術研究 学術研究 【geek-terminalニュース】SSOG-AttentionはSDPAの壁を壊すのか？長距離リコール問題に刺さる“怪しいが重要”な新注意機構
📝 本日のニュース概要 SDPAの全トークン対スコアリングを、少数の分離可能ガウス分布で置き換えるというSSOG-Attention案がコミュニティで話題に。公式な論文・実装・大手確認は未確認ながら、線形注意のlong-range reca...
学術研究 【geek-terminalニュース】DeepMind WeatherNextが台風・ハリケーン予測のリードタイムを1日伸ばす最新情報
📝 本日のニュース概要 Google DeepMindのWeatherNext系AIモデルが、熱帯低気圧の進路・強度・風構造予測で大きな改善を示し、災害対応のリードタイムを平均約1日伸ばせる可能性が示されました。AIが“それっぽい予報”を出...
学術研究 【geek-terminalニュース】AIがウイルスを設計?スタンフォード発「Evo」ショックの真相
📝 本日のニュース概要 以前お伝えしたオープンウェイトAI規制論争の続報です。米スタンフォード大学とArc Instituteが、AIモデル「Evo 1」「Evo 2」を用いて新しいバクテリオファージのゲノムを設計し、実験室で細菌を死滅させ...
学術研究 【geek-terminalニュース】AI数学証明化の最新情報：Astraの10成果、Lean検証、量子暗号問題まで焦点は“解けたか”から“どう検証するか”へ
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学突破説の続報です。今回はOpenAIが公表した数学・理論計算機科学の10成果、Lean 4による形式証明、GPT-5.6 Sol Ultraが関与したと報じられる量子暗号問題...
学術研究 【geek-terminalニュース】数学証明AIが揺らす査読と形式証明の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学問題突破説の続報です。今回はAstra単体ではなく、Fableによる再現疑惑、Lean/Coq/F*の形式証明、数学者コミュニティの検証問題までを横断して整理します。 以前お...
学術研究 【geek-terminalニュース】数学証明AIが揺らす査読と形式証明の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学問題突破説の続報です。今回はAstra単体ではなく、Fableによる再現疑惑、Lean/Coq/F*の形式証明、数学者コミュニティの検証問題までを横断して整理します。 以前お...
学術研究 【geek-terminalニュース】OpenAI Astra数学突破疑惑の最新情報
📝 本日のニュース概要 OpenAIの未公開モデル「Astra」が数学・理論計算機科学の未解決問題10件で新結果を出した、という主張がRedditと二次報道で拡散中。ただし公式発表・査読・独立検証は未確認。今回の焦点は性能表ではなく、証明の...
学術研究 OSRewardが突きつけるComputer Use評価標準化の最新情報
📝 本日のニュース概要 以前お伝えしたComputer Useエージェント評価環境監査の続報です。OSRewardを中心に、GUI操作AIを本番投入する前に「成功判定そのもの」を疑う流れを整理します。 【事象の全貌と背景】以前お伝えしたCo...
学術研究 【geek-terminalニュース】SANA-Video系で見えてきた“動画生成制御”の最新情報
📝 本日のニュース概要 SANA-Videoの線形注意による効率化と、GraphVidとして語られる制御志向の潮流を整理。見栄え競争から、ローカル実行・制作パイプライン統合・操作性へ焦点が移るポイントを深掘りします。 【事象の全貌と背景】今...