未公開の Anthropic モデルがリーマン予想に進展

記事の3ポイント

1. 1

   未公開モデルによる数学的進展

   Anthropic は未公開のモデルがリーマン予想に対して significant な進歩を示し、解の下限を大幅に引き上げたことを発表した。

2. 2

   自律的なエージェント協調プロセス

   数学的訓練をほとんど受けていないスタッフが指示を出した後、モデルは 1.5 日かけて 60 のサブエージェントを調整し、650 のアイデアを検証した。

3. 3

   専門家の検証と形式化

   この成果は Anthropic の社内数学者二人によって確認され、オープンソースの証明支援ツール Lean を用いて形式化された。