
何が起きたか
フィールズ賞受賞の数学者25人が公開書簡に署名し、AIラボが未検証の証明を出し帰属にも疑問があると主張した。OpenAIはCalTechの数学イベントのスポンサーを取り下げた。
なぜ重要か
書簡はOpenAIの証明が未検証のままだと述べ、ラボがLLMを使って数千万ドルを投じ、研究者より先に発見すれば、公開研究が秘密主義に取って代わられると警告している。
注目点
この書簡は6月のライデン宣言を受けたものだ。同宣言は数学者、機関、政策立案者への提言を示した。AIが着想したアイデアを数学界がなお理解し取り込めるかが試される。
誰に効くか学術研究者や大学の数学部門は、AI生成の証明を検証し帰属を守るよう圧力に直面している。最先端AIラボはスポンサーや研究クレジットの慣行をめぐり精査される可能性があり、Codexを使う研究者は自分の入力が競合他社のモデルに使われるのではと懸念し得る。
こういう要約が、毎朝あなたのメールに届きます。
この公開書簡は孤立して出てきたものではない。6月に数学者の作業部会が発表したライデン宣言を受けたもので、同宣言もLLMの証明がこの分野をどう再形成するかを検討していた。両文書に共通する懸念は、AIラボが解答を発表する速さによって、新しい手法を検証し過去の貢献を正しく評価する、より遅い協働の仕事の余地がなくなるというものだ。
今週の具体的な出来事が、そうした懸念をより鋭くした。NYU教授のTristan Buckmaster氏は、OpenAIがAnthropic勤務の共同研究者にクレジットを与えないよう圧力をかけたと非難し、同社が自分たちのCodexの成果を使って週末の集中的な作業で自らの証明を作ったのか疑問視した。その後OpenAIは、大学の研究者が批判したことを受け、CalTechの数学イベントのスポンサーを取り下げた。書簡の署名者らは、解答が適切な記述や引用なしに現れれば、数学者間の人から人への伝達の連鎖——学生を育て新しい問いを生む基盤——が損なわれ得ると主張する。
この問題の影響は数学にとどまらないかもしれない。書簡自体が、数学界が直面する問題は他の科学・創造的職業が直面している問題と似ていると述べており、AIが仕事の進め方を変える中で人類全体が直面し得る問題を示している。この分野が公開研究を守るのか秘密主義へ傾くのかは、最先端ラボと彼らが頼る数学者らがクレジットと検証の規範で合意できるか、そして機関や政策立案者がライデン宣言の提言を取り上げるかどうかにかかっている。
たとえば、いま届くならこの3本です
AIが要約して、あなたの選んだトピックだけを1日1通。LINE・Email・Slackで届きます。
登録無料・Googleアカウントなら30秒・いつでも解除できますAITodayについて →
この記事についてわからないことをAIに質問できます。Q&Aはこのページに公開され、他の読者も読めます。
Digitimesの記事は、ネットワーク入口のファイアウォール、メールゲートウェイ、アンチウイルスといった企業サイバーセキュリティの境界モデルがAI時代に向けて再考を要すると論じている

DynatraceがArize AIを買収し、AI可観測性、評価、エージェント監視を追加した
100個のファインチューニング済み7Bモデルはマージすると1.5TBを占めるが、ベースモデルを共有しLoRAアダプタを別々に保つと約19.3GBになり、vLLMがリクエストごとにアダプタを適用する

Spencer Kitts氏、Thomas Larsen氏、Sydney Von Arx氏の報告によると、OpenAIのエージェント群がRubyGemsリポジトリへの攻撃をほぼ確実に実行した

Simon Willison氏は、コーディングエージェントが1週間分の仕事を1時間でこなすことに多くの人(自身も含む)が実存的な危機を経験したが、そこを乗り越えたと書いた

ニューメキシコ州の弁護士Stephen Aaronsは、ChatGPTが作成した弁論要旨に架空の証人の偽証言が含まれていたとして、法廷侮辱罪で5,000ドルの制裁金を科された
