AIは数学が得意になってきた。その理由がこれだ
このエッセイは、OpenAI の内部モデルが Erdős の単位距離予想（1946年以来の未解決問題）を反証し、Cycle Double Cover 予想を証明し、さらに10の未解決問題を解いたと報じ、理由を分析する。モデルは自動検証器を伴う深さ優先探索を行い、時間を計算力に交換するため、ありふれたヒントも実行可能になり、失敗した試行は負のヒントになる。OpenAI の数学者 Jacob Tsimerman の言葉を引く。AI は数学者より長く、より危険な水域で、圧倒されることなく泳げる。AI が次にどの問題を解くかを予測する枠組みとして重要だ。
報道ソース
- Latent Space2026-10-23 15:19