学術研究 【geek-terminalニュース】Terence TaoのMath 2.0とAI数学計算資源論の最新情報
📝 本日のニュース概要 以前お伝えしたAI生成数学原稿とTerence Tao周辺議論の続報です。今回はOpenAI数学原稿そのものではなく、Tao氏のCaltech講演スライド「Math 2.0」を中心に、AI数学を証明生成ではなく探索科...
学術研究
学術研究 学術研究 【geek-terminalニュース】AI数学炎上、Mathocalypse化とLean検証・査読負荷の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI数学原稿公開の続報です。AI生成証明の大量流入、Lean検証、査読負荷、暗号安全性、数学者コミュニティの反発、OpenAIボイコット論まで、数学がCI/CD化する社会技術的衝突を深掘りします...
学術研究 【geek-terminalニュース】OpenAIのAI数学証明大量公開で査読インフラが揺れ始めた最新情報
📝 本日のニュース概要 OpenAIが未公開内部モデルで生成した数学原稿722本を公開し、372の結果ファミリーとして提示。Lean形式化、GitHub公開、査読負荷、数学コミュニティの反応まで深掘りします。 以前お伝えしたAI数学・Lea...
学術研究 【geek-terminalニュース】Agentic検索の最新情報：RAGはベクトル類似度の一発勝負から探索・検証ループへ
📝 本日のニュース概要 以前お伝えした脱ベクトルDB論・Perplexity Photon・Cohere Embed 5の続報です。今回は検索基盤そのものではなく、複雑タスクで検索をエージェント的ループとして動かすAgentic検索を深掘り...
学術研究 【geek-terminalニュース】GPT-6系に浮上したLooped推論疑惑の最新情報
📝 本日のニュース概要 以前お伝えしたrecurrent depth疑惑の続報です。Microsoftの一時掲載とされるGPT-6.1 Sol情報をきっかけに、同じ重みを複数回回して推論深度を稼ぐLooped Transformersが議論...
学術研究 【geek-terminalニュース】arXiv投稿制限の最新情報
📝 本日のニュース概要 arXivが2026年10月1日から全投稿者に月2本・同時アクティブ3本の投稿制限を導入。AI論文ラッシュで研究流通インフラがスロットリングを始めた意味を深掘りします。 以前お伝えしたICLR投稿爆発・査読OS問題の...
学術研究 【geek-terminalニュース】CLM-8B対Jevで“AI判定器市場”が立ち上がり始めた最新情報
📝 本日のニュース概要 以前お伝えしたJev/AnyJevの続報です。今回はCLM-8BというオープンなSystem Oneモデルが登場し、LLMを喋らせるのではなく、エージェントの行動を高速に採点・選択する“判定器”として使う競争が一気に...
学術研究 【geek-terminalニュース】ICLR 2027約5万アブストラクト報道で見えた査読インフラ限界
📝 本日のニュース概要 以前お伝えしたNeurIPS自動検出器・desk reject問題の続報です。ICLR 2027で締切前に約50,000件のアブストラクトが集まったとの報道を起点に、AI研究の投稿爆発、desk reject、自動検...
学術研究 【geek-terminalニュース】Dream-RSIとScienceBuddyで見え始めた自己改善AI実験の最新情報
📝 本日のニュース概要 以前お伝えした再帰的自己改善AIの速度制限論の続報。今回は、Googleが完全RSIを達成したという未確認噂ではなく、Dream-RSIとScienceBuddyという確認可能な研究プレプリントを軸に、自己改善AIが...
学術研究 【geek-terminalニュース】Fields Medal受賞者25人が警鐘、AI数学は“証明”より信頼インフラを壊すのか
📝 本日のニュース概要 以前お伝えした数学的AI安全性の続報です。Terence TaoらFields Medal受賞者25人が公開した声明「A Severe Misalignment of AI in Mathematics」を軸に、AI...