#Astra

3件の記事

最新動向

OpenAI次期モデルAstra、未解決の数学10問を証明

OpenAIは8月1日、次期モデルAstraが数学と理論計算の未解決問題10件を解き、機械検証できる証明を公開したと発表した。計算費用は約2000ドル。専門家が一流誌への推薦に値すると評した。AIが専門知識労働を担う射程を示す出来事だ。