OpenAIの内部システムがナヴィエ・ストークス方程式の有限時間特異点発生を証明
OpenAIは、内部AIシステムが流体運動のナヴィエ・ストークス方程式の力学が有限時間で特異点を発展させることを示す証明を生み出したと報告しています。この解はGPT-6 Astraよりも大幅に高性能なモデルで駆動されるマルチエージェントシステムによって導出され、ミレニアム懸賞問題の定式化における命題「C」を確立しました。
OpenAIは、内部AIシステムが流体運動のナヴィエ・ストークス方程式の力学が有限時間で特異点を発展させることを示す証明を生み出したと報告しています。この解はGPT-6 Astraよりも大幅に高性能なモデルで駆動されるマルチエージェントシステムによって導出され、ミレニアム懸賞問題の定式化における命題「C」を確立しました。
Anthropicは、Claudeを用いて未特徴のタンパク質ファミリーを同定し、実験室での実験を通じて仮説を検証することを目的とした新しいライフサイエンス研究グループを設置したと発表した。初期結果として、AIはファージ中に存在する配列関連逆転写酵素(ART)と呼ばれる新たな酵素系を自律的に発見した。
Microsoft Researchは、逆合成予測のための新しいフレームワークであるRetroChimeraを公開し、オープンソース化した。このフレームワークは2つの補完的なモデルを組み合わせて、高品質な合成経路を提案する。システムは、TransformerベースのデノボモデルであるR-SMILES 2と、グラフニューラルネットワーク(GNN)ベースのモデルであるNeuralLocを、学習されたアンサンブル戦略を用いて統合し、予測結果をランク付けする。
Google DeepMindとGoogle Researchは、リアルタイムの衛星観測データから直接学習し、高空間解像度で時間ごとの予報を生成する先進的なグローバル気象AIモデル「WeatherNext 3」を発表した。このアップデートにより、前世代のWeatherNext 2と比較して約5倍シャープな予報が可能になり、重要な気象事象に対するより局所的な予測を実現している。
本記事では、制約 aware な構成計画を活用したヒューマンからロボットへの転移手法である Human2Any を紹介する。ソースにはそれ以上の詳細や本文は記載されていない。
Nvidiaの研究者N. Horrocksは、安定化回路と確率的パウリエラーを扱う耐障害性量子プログラム用に設計された拡張検出器エラーモデル(EDEMs)を紹介します。これらのモデルにより、エラー解析がシーケンシャルおよび並列に合成可能となり、物理的な回路実装の構造を反映します。
OpenAI関連のアカウントは、AI支援の取り組みがミレニアム懸賞問題の一つであるNavier-Stokes方程式の存在と正則性問題に関連する結果を生み出したと報告した。この主張では、マルチエージェント強化学習を用いて約1年間のトレーニングを経て、約1万のエージェントがタスクに共同で取り組んだとされている。
研究者らは、大規模言語モデルが競技プログラミングで金メダル級の性能を発揮できるようにするポストトレーニングパイプラインを開発した。教師ありファインチューニング、強化学習、そして GenCorrect と呼ばれる新しいフィードバック駆動型戦略を組み合わせることで、このシステムは IOI 2026 の問題セットにおいてトップの人間出場者を上回る性能を示した。
NVIDIAは、競合プログラミングにおいて卓越したパフォーマンスを発揮するため、Nemotron-3-Nano-CCおよびNemotron-3-Ultra-CC言語モデル向けのポストトレーニングパイプラインを開発した。大規模な問題キュレーション、合成推論トレース、教師ありファインチューニング、強化学習を組み合わせることで、チームは高度なアルゴリズム的推論能力を持つ専門システムを作成した。
NVIDIAは、そのNemotron-3言語モデル向けのポストトレーニングパイプラインを開発し、国際情報オリンピック(IOI)で金メダル級の性能を実現可能にした。このアプローチは、大規模な問題キュレーション、合成推論トレース、教師ありファインチューニング、強化学習を組み合わせたものである。
著者は、長期のタスクに対する実行選択を構造化する推論時のハーネスであるエージェント型メタ推論を紹介します。コントローラーは、完全な履歴ではなくコンパクトなランアカウントに基づいて進捗を統合し、作業をディスパッチすることでプロセスを管理します。
著者らは、希少疾患診断のロングテール推論問題に対処するため、制御された証拠利用と知識グラフ接地型ポリシー最適化を結合したシステムであるRareDxを紹介する。トレーニングパイプラインは、Top-10ポストトレーニングとRareDx-KGPOを組み合わせており、これは予測を標準的な疾患グラフに投影し、キュレーションされた段階的関連性、オントロジー近接性、生物医学的類似性、および表現型一貫性を統合する。
研究者らは、チェーン・オブ・ソート(Chain-of-Thought)推論における高いトークン消費に対処し、シーケンス内のトークンの非一様な価値を活用するフレームワーク「TokenProbe」を発表しました。この手法は正規化対数確率を用いて中核的な構造的トークンと冗長なフィラーを区別し、選択的圧縮を可能にします。
研究者らは、推論トレース内のトークンの非一様な価値を活用し、Chain-of-Thought推論の高いトークン消費に対処するフレームワークであるTokenProbeを発表しました。この手法は、正規化された対数確率信号を使用して、決定的な内容を含むコアトークンと冗長なフィラーを区別します。
研究者たちは、Vision Answerability Diagnosis with Rationales (VAD-R) を導入した。これは、ショートカットの手がかりなしに答えられない質問に対して回答を控えるビジョン言語モデルの能力を評価するために設計された新しいベンチマークである。本研究は、隠れ状態が回答可能性を区別できる一方で、現在のモデルはこの情報を明示的な意思決定に変換できないことを明らかにした。
研究者らは、質問に関連する証拠を特定し、回答を生成する前にそれをコンパクトな要約に統合する圧縮後推論パラダイムであるHighlight-Then-Summarize (H2S) を提案した。チームは6,647件の例を含むH2S-Datasetを構築し、証拠選択に対するプロセスレベルの報酬を提供するH2S-RLを導入した。
研究者らは、Highlight-Then-Summarize (H2S) を提案した。これは、質問に関連する証拠を特定し、回答を生成する前にそれをコンパクトな要約に統合する「圧縮後に推論する」パラダイムである。このアプローチをサポートするために、チームは11のベンチマークファミリーから6,647例を含むH2S-Datasetを構築し、プロセスレベルの報酬のためのH2S-RLを導入した。
VNU-HCM(ホーチミン市情報技術大学)の修士課程学生であるHung Tran氏は、論文「The Clipping Trap: A Silent Failure Mode in Overfitted Neural Image Codecs」のコードとデータを公開した。この研究は、Cool-chicやC3のような過学習コーデックが、特定のコンテンツタイプにおいて歪み勾配がゼロの平坦な色画像を生成する仕組みを浮き彫りにしている。
Biological JEJAという新しいオープンソースプロジェクトは、JEPAスタイルの表現学習と生物学的制約を組み合わせて、疾患が時間とともにどのように進行するかをモデル化します。このアプローチは2,347人の患者からの実際のADNIデータでテストされ、他のいくつかのモデルと比較されました。
Hugging Face フォーラムの学部生が、スライドコンテキスト付きの音声文字起こし中の幻覚問題に対処するため、VAPO 論文の概念を Qwen 2.5 Omni 3B モデルに適用することについて議論しています。