OpenAI 前沿模型攻克數學難題
openai 發布內部模型在數學問題上的結果，並分享 github 上的研究。
openai has published new results from its internal frontier model on open problems in mathematics. the company shared lean proof formalizations and research details on github. this demonstrates openai's advancements in applying ai to solve mathematical challenges. sharing these results could help advance research in the field. openai's model has made notable progress in mathematics.