科学・数学：AIの最新ニュース
科学と数学におけるAI：証明、発見、論文。研究そのものへのリンク付き。
- 11月2日 深層学習モデルが通常の網膜写真から死亡リスクと寿命の軌跡を推定 ネイチャー系誌に論文
- 11月2日 KAISTのCluSTER、データの約31%でLLMの微調整時間を最大69.6%短縮
- 11月1日 英国の数学者が王立協会で会合、AI企業が最先端の数学成果を有料の壁の内側に囲い込む恐れを警告
- 11月1日 UNISTの手法、小型LLMエージェントに隠れた役割を推論させ人狼の勝率を41.6%から65.6%に向上
- 10月31日 BalestrieroとLeCun、「良い視点」で学習したJEPAは回転を除き同一の表現を学ぶと証明
- 10月31日 研究者、系列モデルの表現を読み解き操作する「一般化信念状態」を提案
- 10月31日 上海で世界トップ科学者フォーラム開幕、ドブシー氏がWLF数学賞、ラフォルグ氏「LLMは未解決問題の一部を解く」
- 10月31日 北京大学チーム、DFTコードABACUSをファーウェイのKunpeng 920に移植し最大10.7倍の高速化を報告
- 10月30日 Epoch AI、bioRxivの生物学プレプリントの17%がLLM利用を明記、専門AIツールの19%に迫ると分析
- 10月30日 OpenAI、科学者向けAI LaTeX作業環境Prismを2027年1月1日に終了
- 10月30日 SETI研究所とBreakthrough Listen、AIエージェントにアレン・テレスコープ・アレイの操作とリアルタイム解析を任せる
- 10月30日 プレプリント、事前学習・微調整・強化学習を尤度ベースの単一学習アルゴリズムに統合
- 10月30日 エンビジョンのTianjiモデル（チーム名Arcana）、ECMWFのAI Weather Questで19〜25日先予報の首位に
- 10月30日 AIが9800万回のコウモリの鳴き声を解析、英国最大の森林コウモリ調査が実現
- 10月30日 協調するAIエージェントが課題を選び、結果を導出し、ダイヤモンド中の量子スピンで実験検証
- 10月30日 フロンティアGPTモデル、無作為抽出した200の未解決予想の約60%に解決候補を提示と研究
- 10月30日 Ramanujan Challengeの分析、提出物の一つが公開済みの数論の未解決予想を証明
- 10月30日 BalestrieroとLeCun、異なるモダリティで学習したJEPAが回転を除き同じ表現を学ぶことを証明
- 10月29日 YC Labs、GPT-6.1 Solエージェント50体をMinecraftで3時間稼働、配給の官僚制を築く
- 10月29日 プレプリント、ファン・デル・ヴェルデン数w(2;3,21)=416をLean 4カーネル検証済みの証明で示す
- 10月29日 The Biological Computing Co.、培養ニューロン由来のアダプターで調整した動画モデルMischief 1を公開
- 10月28日 Anthropic、AI for Scienceプログラムを20の財団・研究機関に拡大
- 10月27日 Axiom、AIエージェントが有限単純群の分類をLeanで24日で形式化と発表
- 10月27日 Anthropic、3-SATの準指数時間アルゴリズムを主張する論文をLean 4形式化とともに公開
- 10月26日 OpenAIとAnthropicの「AIが指数時間仮説を反証」との主張、研究者が検証に着手
- 10月23日 Physical Superintelligence、AI支援で5つの未解決量子問題の結果をLean証明付きで公開
- 10月21日 約2,000のGPT-Rosalindエージェント、全脳CRISPRアトラスを32分で解析
- 10月19日 NVIDIAとUWタンパク質設計研究所、オープンなタンパク質設計モデルRFD4-Proteinaを公開
- 10月19日 Quantinuum、Heliosで論理忠実度99.9995% 誤り訂正を10倍改善
- 10月16日 サルの記録で、脳が知覚像と抑制像を毎秒約15回切り替えることが判明
- 10月15日 Google、Willowでマジックステート培養を実証 論理エラーを約40分の1に
- 10月11日 DeepMindのAlphaProof Nexus、Leanの証明でエルデシュ問題9件を解決 2件は50年超未解決
- 10月10日 OpenAI、未公開の社内モデルが生成した数学原稿722本を公開
- 10月6日 AlmanとVassilevska Williams、真に劣二次の3SUMと劣三次のAPSPアルゴリズムを発表