OpenAI 公布 372 個 AI 生成的數學證明，挑戰學術界的審核機制
openai 將 372 個數學證明發布到 github，旨在推進開放問題和改進電腦演算法。
openai has released 372 mathematical results generated by an internal ai model on github, with the goal of advancing open problems and improving computer algorithms. the results were produced by a single ai agent, with each one consuming about three hours of chatgpt pro compute on average. openai consulted with the advisory group on mathematics and artificial intelligence and plans to fund workshops and conferences to understand ai-produced results.