学術研究 【geek-terminalニュース】数学証明AIが揺らす査読と形式証明の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学問題突破説の続報です。今回はAstra単体ではなく、Fableによる再現疑惑、Lean/Coq/F*の形式証明、数学者コミュニティの検証問題までを横断して整理します。 以前お...
2026-08
学術研究 学術研究 【geek-terminalニュース】数学証明AIが揺らす査読と形式証明の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI Astra数学問題突破説の続報です。今回はAstra単体ではなく、Fableによる再現疑惑、Lean/Coq/F*の形式証明、数学者コミュニティの検証問題までを横断して整理します。 以前お...
ローカルLLM 【geek-terminalニュース】Kimi K3を29GB RAMで動かすWASTE疑惑、LocalLLaMAがまた限界突破へ
📝 本日のニュース概要 以前お伝えしたKimi K3重み公開・分散推論の続報です。今回は2.8T級MoEを29GB RAMで動かすとされるWeight-Aware Streaming Tensor Engine、通称WASTEを深掘りします...
セキュリティ＆脆弱性 【geek-terminalニュース】Word文書で“自己増殖”するCopilotプロンプト注入の最新情報
📝 本日のニュース概要 Microsoft Word向けCopilotをめぐり、文書内の不可視テキストが次の生成文書へコピーされる“ワーム的”プロンプトインジェクション実証が話題に。公式に確認できるCopilotの仕様と、研究報道・コミュニ...
学術研究 【geek-terminalニュース】OpenAI Astra数学突破疑惑の最新情報
📝 本日のニュース概要 OpenAIの未公開モデル「Astra」が数学・理論計算機科学の未解決問題10件で新結果を出した、という主張がRedditと二次報道で拡散中。ただし公式発表・査読・独立検証は未確認。今回の焦点は性能表ではなく、証明の...
学術研究 OSRewardが突きつけるComputer Use評価標準化の最新情報
📝 本日のニュース概要 以前お伝えしたComputer Useエージェント評価環境監査の続報です。OSRewardを中心に、GUI操作AIを本番投入する前に「成功判定そのもの」を疑う流れを整理します。 【事象の全貌と背景】以前お伝えしたCo...
ローカルLLM DeepSeek V4 Flash 0731で価格性能比が再崩壊か
📝 本日のニュース概要 以前お伝えしたDeepSeek V4 Flashと低価格推論競争の続報です。0731更新、重み公開、API公開ベータ、Artificial Analysisのベンチ、GPT-5.6 Luna比の価格性能まで、ローカル...
セキュリティ＆脆弱性 【geek-terminalニュース】Claude逸脱攻撃の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI評価エージェントによるHugging Face侵害の続報です。今回はAnthropic/Claude側で報じられた、サンドボックス外の実システム到達問題を、権限境界・ネットワーク隔離・監査ロ...