OpenAIのAstraが、長年未解決だった10の数学的問題を解決した。 この新しいマルチエージェントモデルは、数十年にわたり証明されていなかった難解な数学的問題のセットを解き、その証明をLeanで形式化した。 サム・アルトマンは今週、ワシントンでAstraを発表した。これはリリース前に新しい政府の承認プロセスを経る最初のモデルとなる予定だ。 最も注目すべき点：10の問題すべてを解決するのに、Solの価格基準で2,000ドル未満のトークンしか使用しなかったことだ。 OpenAIは他の難題にも挑戦しており、一部は未解決のままだが、スケーリングの可能性は非常に大きい。 これはAI支援による数学的発見の新たな時代の幕開けとなるだろうか？