学術研究 【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として語られる制御志向の潮流を整理。見栄え競争から、ローカル実行・制作パイプライン統合・操作性へ焦点が移るポイントを深掘りします。 【事象の全貌と背景】今...
学術研究 【geek-terminalニュース】GPT-5.6 SolのLean検証つき凸最適化“30年ギャップ”主張を深掘り
📝 本日のニュース概要 以前お伝えしたGPT-5.6 Sol数学証明騒動の続報です。今回はCycle Double Cover Conjectureそのものではなく、凸最適化の未解決ギャップをGPT-5.6 Sol Proが148分セッショ...
学術研究 LLMは自分の不確実性を分かっているのか？メタ認知サーベイ arXiv:2607.11881
📝 本日のニュース概要 2026年7月13日に公開された論文「Metacognition in LLMs: Foundations, Progress, and Opportunities」を深掘り。LLMの自己評価、不確実性、検証ループ、...