727財經PANews 10月7日消息，OpenAI在X平台發帖稱，將發佈由一款內部前沿模型產出的一系列新數學成果，發佈方式參考了普林斯頓高等研究院「數學與人工智能顧問組」的建議。其GitHub倉庫顯示，目前共收錄722篇手稿，分為372個成果族；部分附有Lean形式化證明，但並非全部完成驗證，OpenAI稱部分未經形式化的結果可能存在問題，後續將持續更新。
PANews 10月7日消息，OpenAI在X平台發帖稱，將發佈由一款內部前沿模型產出的一系列新數學成果，發佈方式參考了普林斯頓高等研究院「數學與人工智能顧問組」的建議。其GitHub倉庫顯示，目前共收錄722篇手稿，分為372個成果族；部分附有Lean形式化證明，但並非全部完成驗證，OpenAI稱部分未經形式化的結果可能存在問題，後續將持續更新。