OpenAIがフロンティアモデルによる数学成果722本をGitHubで公開し、多くに証明支援系「Lean」による形式証明が付いていることを明らかにした
- •社内のフロンティアモデルが生み出した数学の成果722本がGitHubで公開された
- •多くの成果に証明支援系「Lean」による形式証明が付いている
- •数学者らの独立組織AGMAIの提言を参考に、計算量や推論過程の要約も開示されている
OpenAI releases 722 math manuscripts
OpenAIが数学に関する722件の原稿を発表したというニュース
OpenAI drops another batch of mathematical breakthroughs
OpenAIが未公開のフロンティアモデルによって解決された長年の数学的課題を含む722本の原稿を公開し、数学コミュニティの関心と倫理的問題を提起している
- •未公開のフロンティアモデルによって生成された722本の原稿が公開された
- •原稿は関連する論文をグループ化した372の結果ファミリーをカバーしている
- •数学コミュニティの一部からは感銘を受けたという声と、研究倫理に関する懸念が同時に上がっている
UniEvo-VL: Self-Distillation Training for Multimodal Model Self-Improvement
マルチモーダルモデルが自己フィードバックから学習する自己進化型フレームワークUniEvo-VLの提案と、テスト時計算における自己修正の活用について解説する
- •生成と理解を統合したマルチモーダルシステムが、自身のフィードバックから学習できる特性を利用した
- •外部の教師モデルに依存せず、モデル自身の自己批判を特権情報として活用する
- •テスト時計算の段階で建設的な自己修正フィードバックを通じてモデルを改善する
ELYZAが再帰的自己改善（RSI）の研究開発を推進する組織を立ち上げ、自律研究基盤を用いた音声対話AIエージェントやフィジカルAIの取り組みを紹介した
- •ELYZAは再帰的自己改善（RSI）の研究開発を推進する「ELYZA RSI Research」を立ち上げた
- •自律研究基盤を用いた音声対話AIエージェント「ELYZA Voice Agent」について紹介した
- •フィジカルAIに関する取り組みについても併せて発表された
Sharing AI Progress in Mathematics
数学分野におけるAIの技術的進歩や成果について共有する内容の記事
When random is not actually random enough
乱数生成における「ランダム」の定義と、それが期待通りに機能しない場合に生じる問題について考察する記事
ベイズ統計のMCMCサンプリングライブラリPyMCの内部仕組みとモデルの可視化手法を解説する
- •PyMCはベイズ統計においてMCMCサンプリングを行うために不可欠なライブラリである
- •これまで推定や検定のための使い方を扱ってきたが、今回はPyMCそのものの仕組みに焦点を当てる
- •『社会人1年生から学ぶ、やさしいデータ分析』ベイズ統計編の番外編（第10回）として公開されている
Ask a model if code is malicious and it reaches for its morals
コードが悪性かどうかをMoEモデルに尋ねた際、道徳性に関連するエキスパートパスが起動することが示された
- •コードの悪意判定をMoEモデルに問い合わせた際の動作が分析されている
- •モデルは道徳性に関連するエキスパートパスを選択的に使用することが確認された
- •LLMの内部メカニズムにおける倫理判断のプロセスに関する考察が含まれている
イトーキと松尾研究所が854人分の行動データを分析し、会議や休憩時間などが心身や生産性に与える影響を評価するAIモデルを構築した
- •従業員854人分の行動データを分析してAIモデルを構築した
- •会議の長さや数、メール・チャットの送受信数、休憩エリア滞在時間などの指標を用いている
- •これらの行動が従業員の生産性や心身、人間関係の状態にどう影響するかを探求している