共找到 9 篇相关文章
极目新闻记者 詹钘最近，有关2026年国际数学家大会（ICM）选址问题的争议日益加剧，超过两千名学者联署了一份公开声明，呼吁将本次会议移出美国。4月4日，在加拿大留学的中国学生Roselle在接受采访时透露，这份请愿书的一位发起人Ila Varma是她所在学校的教授，并且两人曾有过多次交流。目前已有两千多名学者联名签署了一份公开声明，呼吁将此次大会迁出美国境内。据悉，在今年三月中旬左右，一份要求将
极目新闻记者 郭迩美国纽约大学柯朗数学科学研究所近日宣布，中国数学家王虹荣获该校“银教授”称号，这是该机构授予的最高荣誉之一。在傅里叶分析和几何测度论领域，王虹被视为领军人物。她因成功解决卡凯亚猜想而闻名于世，这一成就为调和分析与几何学带来了突破性进展。纽约大学“银教授”是学校授予教师的最高荣誉之一，旨在表彰学者在学术研究及本科教育方面的杰出贡献。据悉，王虹出生于广西壮族自治区桂林市，是一位年轻的
快科技3月31日消息，近日，比利时布鲁塞尔自由大学（VUB）数据分析实验室发布重磅研究成果，证实商用大型语言模型已具备独立生成原创数学证明的能力。OpenAI旗下ChatGPT-5.2(Thinking)成功破解了一项此前悬而未决的数学猜想，同时催生了名为“vibe-proving”的全新AI推理方法，相关预印本论文已于2026年2月21日发表在arXiv平台。此次研究聚焦的核心命题，是数学家Ra
在最近的一次播客访谈中，著名的数学家陶哲轩谈到了人工智能（AI）如何影响数学研究。他分享了自己对这个主题的见解，同时也展望了未来的发展趋势。他指出，AI已经开始在数学研究中发挥重要作用，尤其是在处理繁琐计算和数据整理方面。然而，他认为AI尚未达到可以独立完成前沿数学研究的水平。陶哲轩提到，AI目前在某些任务上表现出色，而在其他任务上则不尽如人意。因此，当前的AI更多是与人类数学家合作，而不是取代他
本文探讨了AI在数学领域的应用及其对数学研究的影响。AI的快速发展正在改变数学研究的方式，使得一些繁琐的任务得以自动化。然而，AI是否能够完全取代顶尖数学家仍是一个值得讨论的问题。 Jay 2026-03-23 18:22:44 量
今年，计算机界的顶级奖项图灵奖已揭晓，美国物理学家查尔斯·贝内特和加拿大计算机科学家吉勒·布拉萨德因其杰出贡献而共同获得此荣誉。这项决定打破了长达六十年的传统惯例。图灵奖，以英国数学家图灵命名，被誉为计算领域的诺贝尔奖，奖金由谷歌赞助100万美元。在过去几十年里，该奖项曾授予过编程语言的创始人、人工智能的先锋以及互联网架构的设计者。然而，这次的获奖者却因与量子物理直接相关的研究而首次赢得这一殊荣。
机器之心编辑部美国计算机学会（ACM）近期宣布，2025 年的 ACM A.M. 图灵奖授予了 Charles H. Bennett 和 Gilles Brassard，以表彰他们在量子信息科学基础理论的开创性贡献以及在安全通信和计算领域的革新。该奖项素有“计算机界的诺贝尔奖”之称，奖金高达 100 万美元，由谷歌公司提供资金支持。奖项名称源自英国数学家 Alan M. Turing，他奠定了计算
新智元报道全球知名数学家陶哲轩亲身经历了一场与AI的较量，他的实验警告人们：技术越先进，人类就越不能放松警惕。在一次长达45分钟的操作后，电脑因过度计算而直接死机了。世界顶尖数学家陶哲轩在测试一种最新的AI编程工具时遇到了一个令人惊讶的问题。几个月前，他在视频中展示了如何将复杂的数学证明进行形式化处理。然而在九个月后，面对备受推崇的新一代AI助手Claude Code，他原本以为这会是一次轻松的胜
新智元报道数学界迎来了一场前所未有的变革，顶尖数学家难以推进的证明问题被AI解决了，连菲尔兹奖得主也不可避免地受到了质疑。AI在数学领域引发了一场风暴，它对传统研究方式构成了挑战。在短短五天内，AI就完成了人类历时十五个月才能完成的工作。Viazovska提出的关于8维和24维球填充问题的证明被转换成近二十万行Lean代码，效率惊人地提升了九十多倍。人类智慧与AI技术之间的较量似乎已经分出了胜负，