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.