学術研究 【geek-terminalニュース】AI数学炎上、Mathocalypse化とLean検証・査読負荷の最新情報
📝 本日のニュース概要 以前お伝えしたOpenAI数学原稿公開の続報です。AI生成証明の大量流入、Lean検証、査読負荷、暗号安全性、数学者コミュニティの反発、OpenAIボイコット論まで、数学がCI/CD化する社会技術的衝突を深掘りします...
Geek Terminal
学術研究 ロボティクス＆エージェント 【geek-terminalニュース】文章を生成しないDecision Modelがエージェントの判断専用チップになり始めた最新情報
📝 本日のニュース概要 以前お伝えしたJev/OpenJevやStrands Decider系の続報です。Pac-Man実験、AIエージェント・ハーネス統合議論、Liquid AIのopen-weight d1公開を軸に、出力トークンなしで...
セキュリティ＆脆弱性 【geek-terminalニュース】単一プロンプトでAWS AgentCore横展開疑惑、AIエージェント権限境界の最新情報
📝 本日のニュース概要 Zenity Labsの調査として報じられた、Amazon Bedrock AgentCore上の公開エージェントを入口に同一AWSアカウント・同一リージョン内のエージェント群へ横展開できたという疑惑を深掘り。公式確...
ローカルLLM 【geek-terminalニュース】Mistral Large 4 “Le Chonk”の広域反応まとめ：欧州発1兆級オープンウェイトMoEは本当に戦えるのか
📝 本日のニュース概要 以前お伝えしたMistral Large 4、通称Le Chonkの続報です。今回はReddit、MarkTechPost、Ars Technicaなどを横断し、1.05T総パラメータ、49B active、マルチモ...
学術研究 【geek-terminalニュース】OpenAIのAI数学証明大量公開で査読インフラが揺れ始めた最新情報
📝 本日のニュース概要 OpenAIが未公開内部モデルで生成した数学原稿722本を公開し、372の結果ファミリーとして提示。Lean形式化、GitHub公開、査読負荷、数学コミュニティの反応まで深掘りします。 以前お伝えしたAI数学・Lea...
AIツール＆サービス 【geek-terminalニュース】SynthID Detector一般公開、AI生成メディアの透かし検出が1800億件規模の運用インフラへ
📝 本日のニュース概要 GoogleがSynthID Detectorを世界向けに一般公開。Gemini、Veo、Lyriaなどの生成物に埋め込まれた不可視ウォーターマークを画像・動画・音声で確認できるようになりました。1800億件超の画像...
商用巨大LLM 【geek-terminalニュース】Mistral Large 4 Le Chonkの最新情報
📝 本日のニュース概要 以前お伝えした欧州発オープンウェイトMoEの続報です。Mistralが1兆パラメータ級のネイティブ・マルチモーダルMoE、Mistral Large 4、通称Le Chonkを公開プレビュー化。49B active、...
学術研究 【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が議論...
ローカルLLM 【geek-terminalニュース】Qwen 27B級の知能密度、なぜ小型モデルが旧フロンティア級を食い始めたのか
📝 本日のニュース概要 以前お伝えしたQwen系ローカルLLMの続報です。今回はQwen 27B級がなぜローカル環境でここまで強く見えるのかを、量子化、KVキャッシュ、エージェント用ファインチューニング、Redditの実運用報告から深掘りし...