OpenAI Astra、24時間以内に10件のLean 4数学難問を解決——推論コストは2000ドル未満、トレーニング詳細は未公開
OpenAIが発表したAstraモデルが24時間以内にLean 4で認証された10件の長期未解決数学・理論計算機科学問題を解決し、推論コストが2000ドル未満に抑えられたことが複数の情報源により確認された。ただしトレーニングの詳細は依然とし
OpenAIが発表したAstraモデルが24時間以内にLean 4で認証された10件の長期未解決数学・理論計算機科学問題を解決し、推論コストが2000ドル未満に抑えられたことが複数の情報源により確認された。ただしトレーニングの詳細は依然とし
中国のAIスタートアップ企業DeepSeekが最新の大規模言語モデルDeepSeek-V2を発表しました。このモデルは、中国語の数学推論ベンチマークでOpenAIのGPT-4oを超える性能を示し、ユニークなMoEアーキテクチャを使用して効率