OpenAI Astra、24時間以内に10件のLean 4数学難問を解決——推論コストは2000ドル未満、トレーニング詳細は未公開
OpenAIが発表したAstraモデルが24時間以内にLean 4で認証された10件の長期未解決数学・理論計算機科学問題を解決し、推論コストが2000ドル未満に抑えられたことが複数の情報源により確認された。ただしトレーニングの詳細は依然とし
OpenAIが発表したAstraモデルが24時間以内にLean 4で認証された10件の長期未解決数学・理論計算機科学問題を解決し、推論コストが2000ドル未満に抑えられたことが複数の情報源により確認された。ただしトレーニングの詳細は依然とし
OpenAIの次世代主力モデルファミリー「Astra」の内部版が、数学・量子複雑性・理論計算機科学の分野で少なくとも10年以上未解決だった10の未解決問題を解決したと報告された。全解答のトークンコストはSol APIレートで換算すると約2,