ITmedia AI+

OpenAIがフロンティアモデルによる数学成果722本をGitHubで公開し、多くに証明支援系「Lean」による形式証明が付いていることを明らかにした

• •社内のフロンティアモデルが生み出した数学の成果722本がGitHubで公開された
• •多くの成果に証明支援系「Lean」による形式証明が付いている
• •数学者らの独立組織AGMAIの提言を参考に、計算量や推論過程の要約も開示されている

生成AIが確率で動作する仕組みと、事実確認機能の欠如によるハルシネーションリスクを解説する

• •生成AIは次に続きそうな言葉を確率で予測する仕組みで動作しており、これが答えが揺れる原因となる
• •膨大なデータで賢くなった反面、事実確認機能がないためハルシネーションのリスクが生じる
• •企業がAIを安全に活用するための原則についても言及されている

ELYZAが再帰的自己改善（RSI）の研究開発を推進する組織を立ち上げ、自律研究基盤を用いた音声対話AIエージェントやフィジカルAIの取り組みを紹介した

• •ELYZAは再帰的自己改善（RSI）の研究開発を推進する「ELYZA RSI Research」を立ち上げた
• •自律研究基盤を用いた音声対話AIエージェント「ELYZA Voice Agent」について紹介した
• •フィジカルAIに関する取り組みについても併せて発表された

OT Security Leader's Summit 2026での基調講演を基に、AIによる脅威に対し「止めないオペレーション」を実現する新たな防御モデルを解説する

• •2026年9月17日に開催された「OT Security Leader's Summit 2026」の内容を抜粋して紹介している
• •TXOne NetworksのCEOテレンス・リュウ氏が基調講演を行った
• •AIの進化に伴う脅威に対抗し、業務停止を防ぐための防御モデルの要点を分析している

AIによるハッキング攻撃が相次ぐ中、OpenAIのサム・アルトマンCEOがAIの恩恵のために多少の悪影響は受け入れるべきだと主張する背景を解説する

• •AIによるハッキング攻撃が相次いでいる現状を背景に議論が展開されている
• •OpenAIのサム・アルトマンCEOが「多少の悪いことも受け入れて」と発言した
• •AIの恩恵を受けるために一定のリスクを許容する姿勢がAnthropicとの主張の違いとして注目されている

ベイズ統計のMCMCサンプリングライブラリPyMCの内部仕組みとモデルの可視化手法を解説する

• •PyMCはベイズ統計においてMCMCサンプリングを行うために不可欠なライブラリである
• •これまで推定や検定のための使い方を扱ってきたが、今回はPyMCそのものの仕組みに焦点を当てる
• •『社会人1年生から学ぶ、やさしいデータ分析』ベイズ統計編の番外編（第10回）として公開されている

チームみらいの安野貴博党首が、サイバー攻撃能力の高いAIモデルの拡散と情報漏えい事故の増加を指摘し、迅速な対応の必要性を訴えた

• •安野貴博党首は、サイバー攻撃能力の高いAIモデルが社会に拡散しているとの認識を示している
• •データの漏えい事故が相次いで発生している現状を指摘している
• •これらの問題に対して対応を急ぐ必要があると述べている

イトーキと松尾研究所が854人分の行動データを分析し、会議や休憩時間などが心身や生産性に与える影響を評価するAIモデルを構築した

• •従業員854人分の行動データを分析してAIモデルを構築した
• •会議の長さや数、メール・チャットの送受信数、休憩エリア滞在時間などの指標を用いている
• •これらの行動が従業員の生産性や心身、人間関係の状態にどう影響するかを探求している

Claudeの機能「Cowork」のローカル実行オプションが廃止され、10月6日以降はモデル推論とVMの両方がクラウド上で実行されるようになった

• •ユーザーのPCで動作させる「このコンピュータのみ」オプションが削除された
• •10月6日以降、Coworkのタスクはクラウドで実行されるようになった
• •モデル推論と仮想マシンの両方がクラウド実行に移行する

毎月フロンティアAIの新モデルが登場する背景にある「再帰的自己改善」技術と、AIによるAI開発の現状をELYZAのCEOが解説する

• •新モデルの頻繁な登場の裏側には「再帰的自己改善」（RSI）という技術がある
• •「AIによるAI開発」が現実のものとなっている現状について言及されている
• •KDDI傘下のELYZAの曽根岡CEOが、この技術の現在地について語っている