Terence Tao Responds to the OpenAI Math Drop
OpenAIの数学モデル「Math 1.0」の課題を指摘し、単なる問題解決から説明やコミュニティ構築など数学的進歩の多面的な評価へ移行する「Math 2.0」の必要性を論じる
- •「Math 1.0」は未解決問題の解決速度を重視したが、その最適化は持続不可能な段階に至ったと指摘されている
- •「Math 2.0」では、生きた問題解決の役割を相対的に減らし、説明（exposition）やコミュニティ構築、新研究分野の開拓を重視すべきだと提言している
- •AIはこれらの多面的な数学的進歩のいずれにおいてもポジティブに貢献できると信じている
Gartnerが指摘するフィジカルAIに関する10の誤解を解説し、製造データや暗黙知の優位性への批判的見解を提示する
- •日本企業は製造データや暗黙知があるためフィジカルAIで優位に立てるという見方は誤解だとGartnerが指摘している
- •フィジカルAIに関する10の誤解について具体的な論点を整理している
- •データや現場の知見があること自体が競争優位の保証にはならないというメッセージが示されている
複雑性理論研究者であるDana Moshkovitzが取り組んでいた数学的問題をロボットが解決したという噂が広まり、家庭内で話題になった
- •複雑性理論研究者であるDana Moshkovitzが特定の数学的問題に取り組んでいた
- •その問題をロボットが解決したという噂が周囲に広まった
- •9歳の息子が母親である研究者にその噂を伝え、茶化した
AIが生成した数学的テキストを形式言語に自動変換して検証するプロセスが、ナビエ-ストークス方程式の解のブローアップ証明において信頼性を欠く可能性を指摘する
- •自動形式化は、OpenAIが発表したナビエ-ストークス方程式の解のブローアップ証明など、AI生成の数学的テキストを検証するために使用されている
- •このプロセスでは、AIシステムが自然言語からLeanなどの形式言語へ翻訳し、機械的に検証可能にする
- •本記事は、この翻訳プロセスが数学的証明に対して十分な信頼性を提供しない理由を論証することを目的としている
We Built an Alternative to Vector RAG for AI Agent Memory
エージェント型RAGの定義と従来のパイプラインとの違いを解説し、ベクトルDBが有効な場面やエージェント向けドキュメント機能の設計方法を考察している
- •エージェント型RAGとは何か、従来の検索後生成パイプラインとどう異なるかを説明している
- •ベクトルデータベースが依然として意味を持つ場面について言及している
- •AIエージェントのためにドキュメント機能をどのように設計すべきかを提案している
Google invests millions in Mark Zuckerberg’s efforts to create a ‘virtual cell’
Google DeepMind、Meta、Isomorphic Labsが、マーク・ザッカーバーグ夫妻が設立した非営利団体Biohubに3億ドルを共同投資し、AIデータセットの構築を支援する
- •Google DeepMind、Meta、Isomorphic Labsの3社が、マーク・ザッカーバーグ夫妻が設立した非営利団体Biohubに3億ドルを共同で投資した
- •この資金提供は、研究者が予測や質問ができるようなAIデータセットを構築するための18億ドル規模のイニシアチブの一部である
- •Reutersの報道によると、この投資はバイオメディカル研究分野におけるAIの活用を加速させることを目的としている
AI-assisted proof of optimal packing for 11 squares
11個の正方形のパッキングにおける最適性証明のLeanによる形式化が公開され、AIの支援を受けた研究として紹介されている
- •11個の正方形のパッキングにおける最適性証明がLeanで形式化されている
- •この研究はAIの支援を受けた証明として位置づけられている
- •形式化されたコードはQueuingtheorydotcom/11SquaresFormalizedリポジトリで公開されている
Write Like It's 1866: LLMs Relearn Telegraphese
電信語形式を指示する単一の文だけで、APIの出力トークン数が40〜49%削減され、4つのモデルファミリー間で情報の完全な復元が可能であることを示す研究
- •冠詞や冗長な表現を除く電信語形式を1文の指示で指定した場合、APIの計量において出力トークン数が40〜49%減少する
- •4つの異なるモデルファミリーにおいて、圧縮された形式から情報を完全な忠実度で復元できることが確認された
- •マシン間通信において、主要APIの出力コストを半分に削減する可能性が示された
OpenWAM: An Open Framework for Composable World-Action Models
動画・アクションプログラムとローカルコンテキストダイナミクスを統合した共有フレームワークOpenWAMを提案し、ロボット制御や凍結コンポーネント転送、アクション条件付き予測を通じて評価している。
- •動画・アクションプログラムとローカルコンテキストダイナミクスを扱う共有フレームワークとして設計されている
- •ロボット制御、凍結コンポーネント転送、アクション条件付き予測の3つの観点で評価が行われた
- •合成可能なワールド・アクションモデルの実現を目的としたオープンフレームワークである
Microsoftやシンガポール国立大学の研究者らが、AIに自動生成させたアプリケーションの脆弱性の実態と原因を調査した論文を発表した
- •米Microsoftやシンガポール国立大学などに所属する研究者が論文を発表した
- •論文名は「Understanding the (In)Security of Vibe-Coded Applications」である
- •AIに自動生成させたアプリケーションに潜む脆弱性の実態と原因を調査した