AI正成为数学研究的新风口，而人类的记录只保持了三天
数学家们长期以来一直研究素数之间间隔的规律。如今，人工智能也加入了进来。八月的最后一天，一位人类数学家在数论中最著名的问题之一上掀起了一连串进展，随后几乎立刻被人工智能超越。伊利诺伊大学厄巴纳-香槟分校的朱莉娅·施塔德尔曼（Julia Stadlmann）报告了在攻克孪生素数猜想过程中取得的一项新纪录。该猜想认为，存在无穷多对相隔仅两个数的素数，例如3和5，以及17和19。这是十多年来该方向上的首次进展。斯坦福大学数学家坎南·松达拉拉詹（Kannan Soundararajan）称这是一个「极其困难的问题」，并表示自己很钦佩施塔德尔曼的坚持与勇气。他说，这真的相当令人印象深刻。然而在三天之内，一家名为Axiom Math的人工智能初创公司就基于施塔德尔曼的方法超越了她的成果。而在Axiom公布结果后两小时，两项纪录都被OpenAI超越。仅仅五天之后，OpenAI又声称解决了数学领域另一个重大难题。施塔德尔曼在伊利诺伊的博士后导师......阅读全文
华人科学家首次证明存在无穷多素数对
据《自然》杂志网站报道，来自美国新罕布什尔大学的华人数学家张益唐日前证明，存在无穷多个之差小于7000万的素数对，从而在解决孪生素数猜想这一终极数论问题的道路上前进了一大步。 素数是指只可被1和其本身整除的数字。一般来说，两个相邻素数之间的间隔，会随着数字大小的增加而变得越来越大。但是，
AI正成为数学研究的新风口，而人类的记录只保持了三天
数学家们长期以来一直研究素数之间间隔的规律。如今，人工智能也加入了进来。八月的最后一天，一位人类数学家在数论中最著名的问题之一上掀起了一连串进展，随后几乎立刻被人工智能超越。伊利诺伊大学厄巴纳-香槟分校的朱莉娅·施塔德尔曼（Julia Stadlmann）报告了在攻克孪生素数猜想过程中取得的一项新纪
张益唐：中国学生需要更多挑战性思考
在中科院数学研究所的一间办公室，短期来访的华人数学家张益唐拿出几页写满公式的演算纸，等待与研究生们讨论。他日前在接受新华社记者专访时表示，不同领域里有越来越多的华人数学家正在崛起，但中国学生还需要更多挑战性思考。 张益唐认为，尽管中国数学研究的整体水平跟欧美、日本等国仍有差距，但年轻一代数学
张益唐：孤独的数学家
“我的心很平静。我不大关心金钱和荣誉，我喜欢静下来做自己想做的事情。” 张益唐的故事之所以特别轰动的原因在于，作出巨大数学贡献的他已经接近60岁，之前只是个默默无闻的讲师。 2012年7月3日，在一个阳光明媚的下午，张益唐在科罗拉多州好友齐雅格家后院抽烟，20多分钟里他有如神明启示般的想
世界顶级数学家张益唐回国，全职加盟中山大学
记者从中山大学了解到，世界顶级数学家张益唐已回国，全职加盟中山大学，将在粤港澳大湾区定居和工作。6月27日，中山大学举行聘任仪式，中山大学党委书记和校长为张益唐颁发聘书、佩戴校徽。据介绍，张益唐此次已举家搬迁回国，受聘于中山大学香港高等研究院。张益唐是世界顶级数学家，证明了存在无穷多对间隙小于700
人工智能会带来怎样的科研范式变革？
当下，人工智能的火热让人们对其有了深刻的体会。尽管许多人并不完全了解人工智能的工作原理，但一提起人工智能，自动驾驶汽车、智能交互机器人、机器狗、无人机等已广为人知的应用便浮现在人们脑海中。当人工智能深度融入科学研究，究竟会带来怎样的范式变革，又会开启哪些新的探索空间？首先需要明确“科研范式”的含义。
人工智能会带来怎样的科研范式变革
当下，人工智能的火热让人们对其有了深刻的体会。尽管许多人并不完全了解人工智能的工作原理，但一提起人工智能，自动驾驶汽车、智能交互机器人、机器狗、无人机等已广为人知的应用便浮现在人们脑海中。 当人工智能深度融入科学研究，究竟会带来怎样的范式变革，又会开启哪些新的探索空间？首先需要明确“科研范式”
华裔数学家张益唐与偶像陈景润之子首次会面
学建校105周年、南开系列学校创建120周年。9月18日，著名华人数学家、美国加州大学圣芭芭拉分校教授、北京大学闵嗣鹤数论研究中心名誉主任张益唐做客南开大学建校105周年学术报告会，陈省身数学研究所最高级别的讲座“陈省身讲座”作题为“我对数学的爱好”的报告。张益唐做客南开大学建校105周年学术报告会
美数学家发现最大梅森素数
据美国国家公共电台报道，中央密苏里大学数学家柯蒂斯·库珀领导的研究小组通过参加一个名为“互联网梅森素数大搜索”(GIMPS)的项目，发现了迄今为止最大的梅森素数——2^57885161-1 (2的57885161次方减1)。该素数也是目前已知的最大素数，有17425170位，比之前发现的梅森
张益唐获“晨兴数学卓越成就奖”
第六届世界华人数学家大会昨天在圆山大饭店举行，华人数学家张益唐获颁晨兴数学卓越成就奖。 世界华人数学家大会昨天(7月14日)在台北举行，并颁奖表彰杰出数学家。以论文「孪生素数猜想」解开百年数学之谜的华人数学家张益唐，获颁晨兴数学卓越成就奖，他勉励有志朝学术发展的青年学生，不要因困难而退却。
张益唐新成果将震惊学界？他曾说要做就做大问题
这两天，因为网传数学家张益唐的一句话，整个数学圈沸腾了。 据称，张益唐在参加10月15日北京大学校友Zoom线上会议时，口头表达了自己攻克朗道—西格尔零点猜想（Landau-Siegel Zeros Conjecture）的最新进展，且相关文章将在11月初上线。 这一猜想与已经悬置160多年
长达600多页、审查近8年！望月新一“ABC猜想”论文终发表
据日本共同社消息，京都大学数理解析研究所教授望月新一证明“ABC 猜想”的论文最近刊登在该研究所主办的国际期刊PRIMS特刊电子版上。据称审稿人为理解这篇深奥的论文花了较长时间，论文审查用了7年半。 ABC猜想是一个有着超过30年历史的数论难题，很多著名猜想/理论都是它的推论，如费马大定理
31日直播|张益唐教授导读《希尔伯特》
直播时间：2022年12月31日（周六）20：00直播地址：中国科学报微博直播间 扫码进入中国科学报微博直播间观看直播【直播简介】 1900年，在巴黎国际数学家代表会上，德国数学家希尔伯特提出了著名的“23个问题”： 1.康托的连续统基数问题。 2.算术公理的相容性。 3.两个等
张益唐北大演讲：部分解决黎曼假设应该是对的
文 | 《中国科学报》记者 韩扬眉 实习生 沈秋月 千呼万唤始出来。 11月8日，华裔数学家、加州大学圣塔芭芭拉分校教授张益唐线上参加由北京大学数学科学学院组织的学术报告，向北大师生及公众解读他的最新成果——11月4日，关于朗道-西格尔零点猜想的论文《离散均值估计和朗道-西格尔零点》正式上传
山大一教授的数论研究：中国学者送给世界的礼物
“数论的整个范围好像一个果园，有苹果树、桃树、杏树……在中国家喻户晓的‘哥德巴赫猜想’就是一棵苹果树顶最难摘取的苹果。但这个果园里还有很多别的果子。我们这个项目没有摘取那个树顶的苹果，而是开辟了一个新的途径，摘了一筐橘子、两筐桃子，解决了一些其他问题。”15年苦心研究一个项目，山东大学教授刘建
“人工智能：科研范式变革与产业发展”主题论坛在沪举行
7月4日，2024世界人工智能大会主题论坛“人工智能：科研范式变革与产业发展”在上海举行。论坛吸引了包括众多国内外顶尖科学家、高校和产业领袖，共同探讨人工智能（AI）的技术发展、产业应用以及对学科融合和高校创新机制的推动。论坛上，由上海科学智能研究院（以下简称上智院）上智院和复旦大学共同主办的第二届
向数而行－－心有大国
对很多数学家来说，数学研究就是一场“有”与“无”的博弈。在博弈结束前，无人可知结局，很多猜想，数学家们可能终其一生而不能得。1980年，山东大学原校长、著名数学家、教育家潘承洞与胞弟潘承彪出版了专著《哥德巴赫猜想》，该书全面总结了哥德巴赫猜想自1742年提出之后的研究发展特别是近六十多年来的最新成就
为何AI验证数学证明引发关注？
为何AI验证数学证明会引发如此广泛的关注？答案在于：一群研究者刚刚用人工智能系统，自动形式化验证了数论中被称为“246定理”、与素数相关的艰难证明——这是人类知识边界上最前沿的一块拼图。这被视为AI辅助数学研究的重大里程碑。Axiom Math团队首次借助其AI系统AxiomProver，对这条与素
为了证明零点猜想，他大海捞针般地探索
张益唐几乎没有什么开场白，一开口就直入主题。“我们来介绍一下什么叫朗道-西格尔零点。” 这是一场面向北京大学师生和公众的公开学术报告会。11月8日上午，美籍华裔数学家、加州大学圣塔芭芭拉分校教授张益唐在线讲述了他证明朗道-西格尔零点猜想（the Landau-Siegel Zeros Co
“AI+科研”，科研范式革命真的来了？
当名为“阿尔法折叠2”的人工智能（AI）模型实现对蛋白质复杂结构的预测，人们意识到：一场由算法驱动的科研革命已悄然降临。实验室的深夜，即使灯已熄灭，但AI智能体仍在无声运转，优化抗癌药物的分子结构，分析海量蛋白质数据，甚至生成完整的药物设计报告。 “AI+科研”模式的兴起，在提高科研效率、拓展
第47个梅森素数被发现－连续写下来长度超50公里
法国数学家梅森的名字被用来称呼这一类素数 挪威计算机专家奥德·斯特林德莫通过参加一个名为“因特网梅森素数大搜索”(GIMPS)的国际合作项目，最近发现了第47个梅森素数，该素数为“2的42643801次方减1”。它有12837064位数，如果用普通字号将这个巨数连续写下来，它的长度超过
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
第六届国际信息研究大会举行
8月14—16日，第六届国际信息研究大会在京召开，联合国教科文组织东亚地区办事处主任Shahbaz Khan、国际信息研究学会联合主席Pedro Marijuan分别出席会议致辞演讲。 记者在16日大会圆对数与信息技术前沿创新专题研讨会上了解到，中国圆对数团队在基础数学理论研究中取得了重要原创
科技杂谈：灵感不会无故敲门
法国杰出数学家、菲尔兹奖获得者赛德里克·维拉尼在日前的一场演讲中分享了自己的科研感悟，其中谈到了对灵感的理解。演讲中，他提到著名科学家亨利·庞加莱的一个故事：庞加莱曾对一个问题百思不得其解，一次冲浪回来准备洗澡时，一只脚迈入浴缸的刹那，灵感突现，难题由此解开。 维拉尼坦言，和庞加莱一样，自己
袁亚湘院士：学生要敢比老师厉害
袁亚湘院士 “有没有梦想，敢不敢去做别人没做过的研究，这是我招收学生时的要件。”中国科学院院士、数学家袁亚湘这样说。 “科学研究是一个长久的东西，培养和引进高层次创新人才时不能急功近利。”袁亚湘说，比如陈景润破解了哥德巴赫猜想，有什么用呢？可能马上用不上，但现在知道了，它在破译密码时
2026国际基础科学大会多主题之夜专场活动举办
近日，2026年国际基础科学大会（ICBS 2026）连续三晚重磅开启“数学之夜”“物理之夜”“工程之夜”系列主题沙龙活动，每晚聚焦一个核心领域，涵盖主旨报告、获奖分享、大师青年对话等多元形式，汇聚菲尔兹奖、图灵奖等顶级学者，共探学科前沿趋势。 专场活动现场。（主办方供图） 首场“数学之夜”
潘承洞：治学坚韧不拔－治校追求卓越
潘承洞山东大学供图7月30日，山东大学举行潘承洞先生诞辰90周年纪念大会。作为数学家，这个名字曾出现在作家徐迟的报告文学《哥德巴赫猜想》里。还是山东大学讲师的潘承洞，先后证明了哥德巴赫猜想研究中的“1＋5”和“1＋4”命题。那时，潘承洞还不到30岁。因两次在有“数学王冠上的明珠”之称的世界难题研究中
研究提出非对称孪生Transformer模型
近日，中国科学院合肥物质科学研究院研究员王红强团队提出了一种基于非对称孪生Transformer的全局-局部对齐注意力模型（AST-GLAA），显著提升了可见光-X光跨模态包裹重识别任务的性能。研究成果发表于《IEEE信息取证与安全汇刊》。 可见光-X光跨模态包裹重识别是安检领域的核心技术，其
科学家构建丙烷及前体物高维同位素数学模型
中国科学院院士、中国科学院广州地球化学研究所研究员彭平安团队，通过构建丙烷及前体物同位素体反应图谱，进而建立并验证丙烷及前体物高维同位素数学模型方法。相关成果近日发表于《创新：地球科学》（The Innovation Geoscience）。单体同位素分析技术（CSIA）最普遍的应用是根据母体化合物
潘承洞先生诞辰90周年纪念大会在山东大学召开
年纪念大会在山东大学召开 近日，潘承洞先生诞辰90周年纪念大会暨数学发展论坛在山东济南召开。来自中国科学院、北京大学、复旦大学、浙江大学、同济大学、山东大学等30余所高校和科研院所的数学领域专家学者齐聚，大家共同缅怀潘承洞先生为我国数学和教育事业所作出的卓越贡献，追思并学习他的创新精神和育人情怀，并