OpenAI の Astra、約2000ドルで数学難問10件を証明

OpenAI の内部モデル Astra が約2000ドルのAPIコストで数学・理論計算機科学分野の重大な10件の証明を達成したと報じられている。Connes 剛性予想の反証や非sofic群の存在証明を含み、全10件が Lean 証明書とCoT推論とともに公開された。