数学研究

科技人工智能

人工智能冲击数学学科认可体系

近五千名数学家(包括二十五位菲尔茨奖得主)签署了名为《AI在数学中的严重错位》的声明,对人工智能在数学研究中的作用提出了关切。声明认为,尽管AI能够解决复杂问题,但这些解法绕过了概念理解这一数学研究的根本目标。签署者指出,大量通过AI生成的"真假"数学陈述可能摧毁而非促进新思想的产生。

科学物理

双范畴中的Yoneda引理

Yoneda引理作为范畴论的基本工具,其在双范畴框架中的表述引发了新的数学探讨。在这一更抽象的结构中,双范畴的0-胞代表范畴,但无法直接访问其对象。

科技人工智能

OpenAI与数学家矛盾升级 菲尔兹奖得主联署公开信指控学术不诚实

25位菲尔兹奖得主联合发表公开信,指责OpenAI等AI实验室在解决数学问题时存在学术不诚实行为。这些指控包括仓促发表未经验证的证明、未能正确署名合作者,以及可能利用他人研究成果等问题。纽约大学教授特里斯坦·巴克马斯特声称,OpenAI曾向他施压,要求他不要在Anthropic合作者的署名中予以认可。

科技人工智能

OpenAI被指控未经授权使用数学家研究训练模型

数学家Andreas Thom在社交媒体上指控OpenAI可能在未经授权的情况下,将他与Gábor Kun关于Gromov soficity猜想的未发表研究用于训练Astra模型。该模型随后宣称已解决包括这一猜想在内的十大问题。

科技人工智能

OpenAI因Navier-Stokes问题研究遭指控"不当竞争"

NYU数学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge利用AI模型在重大未解数学难题Navier-Stokes存在性与光滑性问题上取得突破性进展。该问题是Clay数学研究所设立的七大"千禧年难题"之一,解决者可获得100万美元奖金。

科技人工智能

AI数学成果发表引发学术界争议

AI生成的数学解决方案近来在博客和社交媒体平台上广泛发布,引发传统数学家的担忧。这些学者主张新发现应当在经过人工同行评审的期刊上正式发表,而不是直接面向公众。