学術研究 【geek-terminalニュース】GPT-6 Astra数学論争、焦点は“証明の真偽”から未公開研究を預ける信頼インフラへ
📝 本日のニュース概要 以前お伝えしたOpenAIの数学証明・査読倫理テーマの続報です。GPT-6 Astraをめぐる論争は、モデル性能そのものよりも、未発表の数学アイデアや私的な研究会話を巨大AI企業に渡せるのかという研究インフラの信頼境...
2026-09
学術研究 ハードウェア＆インフラ 【geek-terminalニュース】CUDA RustでGPUカーネル開発はC++職人芸から変わるのか
📝 本日のニュース概要 NVIDIAがCUDA Rustを発表。cuda-oxide SIMTとcutile-rs Tileの2系統で、Rustの所有権・借用規則をGPUカーネル開発に持ち込み、aliasingやlaunch設定の危険をコン...
学術研究 【geek-terminalニュース】AlphaGenome Atlas公開、90億DNA変異が“検索できる分子効果DB”に
📝 本日のニュース概要 Google DeepMindがAlphaGenome Atlasを公開。約90億のヒト一塩基DNA変化について、分子的影響予測を事前計算した巨大アトラスです。ゲノムAIが論文上のモデルから、研究者が検索・参照できる...
学術研究 【geek-terminalニュース】OpenAI数学証明騒動、争点は“証明”から“検証パイプラインの信頼性”へ
📝 本日のニュース概要 以前お伝えしたOpenAIのNavier-Stokes証明AI発表の続報です。今回は証明の中身そのものではなく、Lean形式化、査読、研究倫理、AIラボの発表統治、チャット履歴の扱いまで含む“AI時代の数学研究を誰が...
ローカルLLM 【geek-terminalニュース】Qwen3.8-27B量子化、4-bit実用域と1-bit崩壊ラインの最新情報
📝 本日のニュース概要 以前お伝えしたQwen3.8-27B量子化実測の続報です。BF16比99%をうたうtask-aware quant、4-bit運用の実用性、1-bitでの品質崩壊ラインを、Reddit/HN/Lobste.rsの現場...
学術研究 【geek-terminalニュース】NeurIPSの自動検出desk reject疑惑、AI検出器が学術ゲートキーパーになる最新論争
📝 本日のニュース概要 NeurIPS 2026で自動参考文献チェッカーやAI生成検出器がdesk reject判断に使われたのではないかという疑惑が、RedditとHNで大炎上。178本、2件以上の幻覚引用、Pangramスコア、偽陽性、...
学術研究 【geek-terminalニュース】OpenAIのNavier-Stokes証明AIと検証論争の最新情報
📝 本日のニュース概要 以前お伝えした未解決数学問題・証明検証テーマの続報です。OpenAIがNavier-Stokes Millennium Prize Problemの解とLean形式化を公開したと発表。焦点はミレニアム問題そのものだけ...
ローカルLLM 【geek-terminalニュース】CADローカルLLMの最新情報
📝 本日のニュース概要 以前お伝えした3D自動設計ハックの続報。llama.cppとFreeCADをつなぎ、ローカルLLMで3Dプリント可能な機械部品生成へ向かう個人設計自動化パイプラインを深掘りします。 以前お伝えしたRhinoMCP系3...
ハードウェア＆インフラ 【geek-terminalニュース】KVキャッシュが“エージェント実行基盤”になる説の最新情報
📝 本日のニュース概要 以前お伝えしたKVキャッシュ高速化・圧縮・量子化の続報です。今回は、KVキャッシュを単なる推論最適化ではなく、AIエージェントの状態、記憶、実行文脈として扱う発想を深掘りします。KV cache routing、pr...
ロボティクス＆エージェント GPT-6 Astra実運用論争の最新情報
📝 本日のニュース概要 以前お伝えしたGPT-6 Astraの続報。Portal完走、Blender操作、AGI宣言、安全性評価をめぐる議論を、単なる性能自慢ではなく“評価不能な実行能力の膨張”として整理します。 【事象の全貌と背景】以前お...