学術研究 【geek-terminalニュース】Fields Medal受賞者25人が警鐘、AI数学は“証明”より信頼インフラを壊すのか
📝 本日のニュース概要 以前お伝えした数学的AI安全性の続報です。Terence TaoらFields Medal受賞者25人が公開した声明「A Severe Misalignment of AI in Mathematics」を軸に、AI...
AI
学術研究 ハードウェア＆インフラ 【geek-terminalニュース】AI電力再燃の最新情報
📝 本日のニュース概要 AIの性能競争がGPU台数の話から、送電網、発電所、EPA許認可、排出規制、都市設計の問題へ移っています。MIT Technology ReviewとCapital B Newsの報道を軸に、AIデータセンターの本当...
学術研究 【geek-terminalニュース】数学者がAI証明時代の“信用プロトコル”を作り始めた最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI数学証明論争の続報。今回は個別証明の真偽ではなく、Caltech Mathathonへの反対書簡、Reddit/HNの“AI math slop”反応、そしてMathematical AI ...
企業動向＆ビジネス NVIDIAのHugging Face買収、オープンモデル配布基盤の主権戦争へ
📝 本日のニュース概要 NVIDIAがHugging Faceを約129億ドルで買収する正式契約を締結。GPU供給側がモデル配布、データセット、推論導線、アクセス制御の入口まで握ると何が起きるのか。RedditとHNの反応を交え、オープンモ...
AIツール＆サービス 【geek-terminalニュース】ChatGPT・Claude・Grok同時不安定化疑惑とAI冗長化の最新情報
📝 本日のニュース概要 以前お伝えしたClaude系アクセス可用性問題の続報です。ChatGPT、Claude、Grokが同時期に不安定化したとのコミュニティ報告を軸に、公式裏付けの限界、Reddit/HNの反応、ローカルLLM・マルチモデ...
ロボティクス＆エージェント 【geek-terminalニュース】Code-as-Worldの最新情報：動画をMuJoCo物理プログラムへ変える噂の世界表現
📝 本日のニュース概要 MirroSのCode-as-Worldとして紹介されている新パラダイムを解説。動画を眺める世界モデルではなく、再実行できるMuJoCo物理プログラムへ変換するという発想のインパクト、裏付けの弱さ、コミュニティ反応の...
学術研究 【geek-terminalニュース】ベンチ信頼危機の最新情報
📝 本日のニュース概要 Terminal-Bench 4.0の順位変動、31,000件超の時間別LLMベンチ分析、Google DeepMindの暗号的な二重盲検評価案を軸に、LLMベンチマークの再現性・汚染・監査問題を深掘りします。 以前...
セキュリティ＆脆弱性 【geek-terminalニュース】AI攻撃未遂と安全性テスト崩壊の最新情報
📝 本日のニュース概要 以前お伝えしたAIセキュリティ評価と権限境界問題の続報です。Reutersが報じたmyNetworkへの悪意あるプルリクエスト未遂、The Decoderが紹介した安全性ベンチマークの弱点、LessWrongで議論さ...
ハードウェア＆インフラ 【geek-terminalニュース】AIデータセンター反発の最新情報
📝 本日のニュース概要 AI競争のボトルネックがGPU不足から、電力・冷却・水・立地・住民合意へ移り始めています。米国で急拡大するデータセンター反発、4.1兆ドル級インフラ投資観測、Reddit/HN/Lobstersの生々しい議論を整理し...
学術研究 【geek-terminalニュース】SSOG-AttentionはSDPAの壁を壊すのか？長距離リコール問題に刺さる“怪しいが重要”な新注意機構
📝 本日のニュース概要 SDPAの全トークン対スコアリングを、少数の分離可能ガウス分布で置き換えるというSSOG-Attention案がコミュニティで話題に。公式な論文・実装・大手確認は未確認ながら、線形注意のlong-range reca...