openai发布400个AI生成的数学成果，让数学家们感到应接不暇
openai发布近400个AI生成的数学成果，跨越700篇论文，数学家们需要数年时间才能理解这一庞大成果集。这改变了数学领域，并引发了人类在数学研究中的角色问题。
openai released nearly 400 ai-generated mathematical results, spread across over 700 manuscripts, covering a diverse array of mathematical disciplines. mathematicians are stunned, describing the release as 'staggering', 'overwhelming', and 'pure insanity'. the sheer volume of work makes it difficult to assess, with many researchers struggling to digest everything. openai acknowledged that the results are at different stages of verification, with only 300 top-line results out of 719 manuscripts formalized in lean, a programming language and proof assistant. this development raises questions about the role of humans in mathematical research and the future of the field.