学術研究 【geek-terminalニュース】GPT-5.6 SolのLean検証つき凸最適化“30年ギャップ”主張を深掘り
📝 本日のニュース概要 以前お伝えしたGPT-5.6 Sol数学証明騒動の続報です。今回はCycle Double Cover Conjectureそのものではなく、凸最適化の未解決ギャップをGPT-5.6 Sol Proが148分セッショ...
2026-07-19
学術研究 セキュリティ＆脆弱性 【geek-terminalニュース】Gold Eagle統制の最新情報
📝 本日のニュース概要 以前お伝えしたAIアクセス主権・政府承認配布の続報です。ホワイトハウスのGold Eagle Initiativeを、公式に確認できるサイバー脆弱性調整構想と、Redditで燃えているfrontier AIアクセス統...
ローカルLLM Kimi K3が実務ベンチを横断席巻、Next.js・科学・表計算で何が起きたのか
📝 本日のニュース概要 以前お伝えしたKimi K3の続報です。今回は公式仕様や価格ではなく、Next.js Eval、Frontend Code Arena、Text Arena科学フィルタ、SpreadsheetBench 2という実務...