ChatGPTがこっそりあなたの肖像画を描いています。このプロンプトを使って、それを手渡してもらいましょう。
もしかすると、『Her』で描かれた世界がすでに訪れているのかもしれません#愛範兒の公式微信公众号「愛範兒」（WeChatアカウント名：ifanr）をぜひフォローしてください。より多くの魅力的なコンテンツをいち早くお届けします。
AI NEWS JOURNAL
AI ニュースを検索
見出し・要約・本文から、情報のつながりを探します。
形式検証：半世紀前の「コード検算」技術が、なぜAIによって再び注目されるようになったのか？
今年初め、グーグルのCEOサンドール・ピチャイ氏は、グーグルクラウドの年次カンファレンスで、同社の新規コードの約75％がAIによって生成され、その後エンジニアによる審査と承認を経ていると明らかにした。Anthropic社の内部データによれば、同社のリポジトリに登録されたコードの80％以上がClaudeによって書かれたものだという。大量生産されているのはコードだけではない。10月26日、AI数学企業Axiom Mathは、チームが数十個のAIエージェントを指揮し、数学史上で最も長い証明を24日間かけて完全に書き直し、証明支援ツールLeanが段階的にチェックできる形式化されたコードへと変換したと発表した。そのコードの規模はなんと4,310万行にも及ぶ。生産量が増える一方で、それに伴って品質面での課題も浮上している。コードレビュー企業CodeRabbitは、470のオープンソースプロジェクトのプルリクエスト（pull ...
先ほど、Claudeの月額200ドルプランで5時間制限が解除されました
機械之心編集部 先ほど、AnthropicはClaudeのサブスクリプションプランの名称変更を発表しました。従来のMax 5xはMaxに、月額は依然として100ドルです。また、Max 20xはUltraに名称変更され、月額は引き続き200ドルです。既存の契約者は何も手続きを行う必要はなく、価格と特典は変更されず、名称が自動的に切り替わります。名称変更完了後、Claudeの個人向けサブスクリプションプランはFree、Pro、Max、Ultraの4つのランク体制となりました。同時に、Anthropicは開始しました…
AIが人類史上最大の数学的証明を補完、数学者はその場で涙を流した
新智元による報道：人類史上最大規模の数学的証明が、コンピュータによる形式化検証を経て完成しました。有限単純群分類定理（CFSG、Classification of Finite Simple Groups）が、ついにAIによって完全に形式化されました！世界トップクラスの数学者百余名が半世紀以上にわたり、総計1万5千ページにも及ぶ「数学の天書」を書き上げましたが、スタートアップ企業Axiomが開発した多エージェントシステムにより、わずか24日間で全ての証明が一気に検証されました。さらに驚くべきことに、AIは…
[AINews] AIE CODEを構築する：トップコーディングエージェント会議
Mistralのオープンウェイトリリース、フロンティアモニタリング、そしてその日のAI関連TwitterとRedditの要約。
医用画像間の最適輸送に対する凸ポテンシャル学習
arXiv:2610.37844v1 公告タイプ：新規 要旨：医用画像間の最適輸送写像を計算することは、形態学的解析において基本的な役割を果たす。しかし、既存の手法は大規模な3D医用画像に対してスケーラビリティに乏しいか、あるいは正則化された定式化に依存しており、その結果得られるのは近似的な輸送写像にすぎない。下流の医用画像解析における精度向上を図るため、凸ポテンシャル関数をパラメータ化することで最適輸送写像を推定する新たなアプローチを提案する。この手法では、構成上、得られる輸送写像が回転ゼロであり、ブレニエの定理と整合することが保証される。我々は、2Dおよび3Dの医用画像データセットの両方で提案手法を評価した。実験結果は、本手法がより低い輸送推定誤差を達成し、より高いqを生成することを示している。
機械学習用原子間ポテンシャルにおけるTensor Coreの性能を引き出す
原子論的シミュレーションは、化学反応や相転移から機械的破壊に至るまで、分子や材料の挙動を理解するのに役立ちます。これら…
Vibe Codingを自らの過ちから救うかもしれない“厄介な”数学
新しいスタートアップ企業である&Truthが、ソフトウェアが意図したとおりに動作することを数学によって証明する、非常に手間のかかる形式検証を自動化する競争に参入しています。
Infini-AI-Lab、AIエージェント向けのオープンソースハーネスアダプタフレームワーク「Hermit」をリリース
Infini-AI-Labは、タスクからのフィードバックをもとに外部層の指示・スキル・メモリ・ツールを学習させ、エージェントのモデルとハーネスは変更しないApache-2.0ライセンスのハーネスアダプタフレームワーク「Hermit」をリリースしました。記事「Infini-AI-Lab、AIエージェント向けのオープンソースハーネスアダプタフレームワーク『Hermit』をリリース」はMarkTechPostに最初に掲載されました。
ヤコビアンレンズの数学的理論
arXiv:2610.31955v1 発表タイプ：新規 要旨：Anthropicによる最近の研究では、ジャコビアンレンズ（J-lens、Gurneeら、2026年）と呼ばれる新たな解釈可能性ツールが導入されました。この手法は、最先端の言語モデルの隠れ状態において、作業記憶に類似した表現を想起させる性質を持つ線形方向を特定しました。しかし、こうした特徴がJ-lensによって検出可能となるメカニズム的な特性については依然として不明です。そこで本研究では、J-lensの数学的理論を提案し、同理論が特に一貫性のある特徴――すなわち、空間的に一貫したリヤプノフモードのように機能する方向――を優先的に識別することを示します。これらの方向に沿った微小な摂動は層を跨いで増幅し、トークン位置間でほぼ一定に保たれ、異なる文脈間でも一貫しています。一方でw
PRISM：暗黙的な確率的変調による大規模言語モデルのサンプリング多様性の促進
arXiv:2610.32101v1 発表タイプ：新規 要旨：大規模言語モデル（LLM）は、出力分布が既知の意味的なモードに集中する「モード崩壊」を示す。多様性が失われると、繰り返しサンプリングは発見ではなく意味的な反復となり、稀ではあるがより強力な解が表面化しにくくなるため、自己進化や継続的学習の維持が困難になる。ほとんどの対策は推論時のみに介入し、サンプルを調整するだけで、多様性をモデルの能力として組み込むことはできない。そこで私たちは、訓練時に多様性をモデル内部に内蔵するフレームワークであるPRISMを提案する。PRISMは、(i) 各プロンプトに対し、多様でありながら正解でもある複数の教師モデルによる解答を対応付けるサブモジュラー型キュレーションと、(ii) 特殊トークンの摂動を実行可能な形に変換する確率的埋め込み変調を組み合わせている。
Transformer理論の検証
arXiv:2610.32104v1 発表タイプ：新規 要旨：トランスフォーマー アーキテクチャの能力と限界を特徴付けるため、複数の形式理論が提案されており、それぞれがアーキテクチャの異なる側面を捉えるために異なる抽象化手法を用いている。これらの理論は、その基礎となる仮定や概念的枠組みに違いがあるため、トランスフォーマーにとってどのタスクが容易でどのタスクが困難かという予測において一致しないことがある。本研究では、トランスフォーマーの能力に関する7つの理論（Star-free、$\mathsf{AC}^0$、$\mathsf{TC}^0$、C-RASP、MPC、BAPO、および Sensitivity）を整理し、それらの結果を、異なる計算構造を網羅する一連のタスクに対する共通の予測マトリックスへと変換した。さらに、このマトリックスを完成させるための新たな理論的成果を提示する。その後、理論的な評価を行った
OpenAIが3つの重要な科学的発見と、学術関係者との新たな協働方法を発表
長年にわたる数学の未解決問題の解法を含む数百件の原稿を一斉に公開してからわずか1か月も経たないうちに、OpenAIは数学、計算機科学、物理学におけるさらに3つの「重要な」発見を発表しました。今回異なっている点は、結果を指導するため、OpenAIが「羊飼い」と表現する外部の専門家を起用したことです[…]
悪質なAIエージェントの群れが、より優れたアイデアを得るための教訓を私たちにもたらすとは
ベン・スタンシルは、Hugging Faceのハックを用いて、最も有用なアイデアがなぜ最も奇妙なつながりから生まれるのかを説明しています。
ケビン・ルースはAGIに取り憑かれている。あなたはどうしてそうならないのだろうか？
今日は、AI業界の最近の劇的な変革を詳述した新刊『The AGI Chronicles』の著者でジャーナリストのケビン・ルースとお話しします。ケビンは長年ニューヨーク・タイムズの記者を務め、人気ポッドキャスト「Hard Fork」のホストでもありました。しかし彼と、同番組の友人であるケイシー・ニュートンは、先日[…]を去りました。
Import AI 478：アライメントのための数学、ProgramBench、およびMirendilがRSIの意味を示す
機械にとって「夜」とは何でしょうか？
屋内無線地図推定のための協調的文脈内学習
arXiv:2610.31702v1 発表タイプ：新規 要旨：屋内無線地図推定（RME）は、カバレッジ計画、位置推定、ネットワーク展開などの無線通信アプリケーションにおいて不可欠である。しかし、既存の手法の多くは、高コストなラベル付きデータとタスク固有のモデル学習を必要とする教師あり学習パラダイムに従っている。さらに、屋内環境には建物のレイアウトや構造といったプライバシーに関わる情報が含まれており、これらを集中管理することはしばしば困難である。これらの課題に対処するため、私たちは初めて、屋内RMEを協調的文脈内学習（ICL）問題として定式化する試みを行った。提案するPoly-Rippleは、複数のクライアントがモデルの更新なしに大規模自己回帰型視覚モデル（LAVM）を用いてICLを行うフレームワークである。各クライアントは、自身のプライベートなデモンストレーションによってプロンプトを与えられる。
ミュオンの前処理はいつ、どのように行われるのか？構造化された勾配ノイズの役割
arXiv:2610.31728v1 発表タイプ：新規 要旨：ミュオンは大規模言語モデルの学習において人気の最適化手法となっているが、その理論的基盤は依然として十分に解明されていない。本研究では、勾配ノイズの幾何学的特性がミュオンの前処理による利点をどのように形成するかを検討する。まず、古典的な等方性ノイズ仮定のもとでは、ミュオンは学習率の再スケーリング以上の加速効果をもたらさないことを理論的および実験的に示す。これを受けて、私たちは異種タスクの発生頻度を持つ連想記憶におけるミニバッチサンプリングから生じる構造化されたノイズについて調査を開始した。二つのタスクに対する正確なバランス閾値を導出し、さらに複数タスクへの拡張を通じて、タスクカバレッジと勾配の信頼性がいかに協働して学習を形作るかを明らかにする。我々の分析によれば、ミュオンは…を緩和できることが示される。
IMFバンコク会議での講演が物議を醸す：元OpenAIおよびAnthropicの共同創設者は「シンギュラリティはすでに始まっている」と述べた
2026年10月17日、元OpenAI社員でAnthropicの共同創設者である人物が、IMFのバンコク会議で講演を行い、「技術的特異点はすでに始まっている」と主張した。その根拠として、AIシステムが数学、生物学、物理学、ロボティクスなどの分野で自律的な科学研究能力を示していることを挙げた。引用されたデータ（例：TheoPhysEvalで98％の得点、Humanity’s Last Examで67.7％に向上）はいずれも本人および関連機関によるものであり、第三者による検証は行われていない。講演では、AIによる科学パラダイムの変革と経済への影響が強調されるとともに、この判断は主観的な見解であり、科学的コンセンサスではないことも明確に述べられた。