北大辍学生破解IUT“外星语言”，有望颠覆现代数学

dootbear

南华早报：北大辍学生破解IUT“外星语言”，有望颠覆现代数学

28岁的北大博士辍学生、前华为工程师周忠鹏，因为在极为晦涩的数学前沿领域做出突破，被外界广泛关注。

这一领域被称为“外星人的语言”，其两千页框架和类似外星文的符号体系，让绝大多数数学家都难以理解。

日本教授望月新一（Shinichi Mochizuki）的“泛宇宙Teichmueller理论”（IUT）自2012年提出以来让专家们一头雾水，该理论原本被用作证明ABC猜想（这是数论领域的“圣杯”难题，若被证实，将带来数论的巨大变革）。

凭借深夜苦读和被学术圈“淘汰”的经历，周忠鹏的突破或许已经让ABC猜想从纯粹的理论，变成可实际计算的工具。

他是在北京做算法工程师、每天工作14小时的间隙，于周末完成的这一成就。

这不仅让望月的新理论再次被聚焦，还被认为在意义上可能超越安德鲁·怀尔斯（Andrew Wiles）1995年“费马大定理”证明的影响力。

IUT权威、现为周忠鹏导师的西湖大学教授费先科（Ivan Fesenko）这样评价他：“他的成果远比怀尔斯更强。”

2012年，京都大学数学家望月新一发布一篇长达500页的论文，声称证明了ABC猜想。

望月新一的新理论，他本人称之为“基于自然的思维方式”，至今仍晦涩难懂，全球研究者不超过20人。

这是因为IUT理论采用的是一种全新的数学语言，完全突破了现代数学的范式。即便是训练有素的数学家，面对陌生符号也难以读懂。

此外，要想真正读懂IUT理论，必须把望月新一自1995年以来的全部研究论文通读一遍，总计超过两千页。

日本数学家加藤文本做了这样一个比喻：“就像一个只会讲外星语的外星人突然来到地球，即使他在一大群地球人面前反复演讲，也没人听得懂，不管他重复多少遍，大家都无法进步。”

许多著名定理或猜想，比如1637年提出的费马大定理、罗思定理和莫德尔猜想，如果ABC猜想成立，都可以被简化、甚至变得“自然而然”。

法国数学家费马（Pierre de Fermat）在350多年前提出了他的著名定理，并把它写在古希腊数学家丢番图（Diophantus）著作《算术》的空白处：“立方数不能被拆分为两个立方数之和，四次方也不能被拆成两个四次方之和，总之比平方更高的幂都不能被分为两个等幂之和。我肯定找到了一个精彩的证明，但这一页边缘太窄，写不下。”

2024年6月，周忠鹏向望月新一和费先科提交了一篇论文，提出了对该理论的关键修正和全新应用。

费先科对《中国科学报》说：“周忠鹏，这个年轻人，已经在严格数学意义上证明了广义费马大定理的绝大多数情形。他的成果在数学上远超怀尔斯”。

1995年，普林斯顿大学的怀尔斯教授经过八年孤独钻研，用130页证明了费马大定理。如果周的研究正确，他可以只用一页纸证明这个大定理。

周忠鹏并不是职业数学家，而是业余时间学习数学的算法工程师，他最近刚从大名鼎鼎的北京大学的数学博士学习中退学。

他出生于江苏连云港，从小展现出极强的数学天赋。

据《中国科学报》4月29日报道，小时候的周性格安静，经常独自钻研数学，用铅笔在白纸上演算。

他在高中获得全国数学奥林匹克一等奖，因此2014年被保送到中国顶级数学学府，北京大学。

在北大，他继续表现出色，2018年获得直博资格和校长奖学金。

然而，他被要求研究的图论方向与自己痴迷的代数数论不符，后者因其基础性和纯粹性更吸引他。

这导致他在学业上陷入停滞，找不到合适的导师和研究方法。

2023年，他以硕士身份离开博士项目，加入华为技术有限公司成为风控算法工程师，主要负责用机器学习模型检测和拦截平台漏洞相关的“灰产”账号。

即使平日工作十二到十四个小时，他依然在晚上自学数论，分析论文、完善证明、撰写稿件，最后聚焦到望月的理论。

他去年花了五个月写数学论文，并提交给IUT权威望月和费先科。

一天后，费先科（现任西湖大学理论科学研究院教授）回复他：“快来杭州，我给你报销机票。”

周很快接受了邀请，一周后到达杭州。

费先科从教近四十年，长期研究IUT理论并组织国际会议。他在英国诺丁汉大学的博士生Caucher Birkar于2018年获得菲尔兹奖。

他说：“我们一直努力培养新一代数学家研究IUT理论，目前全球大约有20位专家，分别来自日本、俄罗斯、英国、法国、波兰，最近美国数学家也开始涉足。我希望中国很快也能培养出IUT理论专家。”

2024年9月，周忠鹏辞去华为职务，重返学术界，加入西湖大学成为访问学生，正式投身数学研究。

未来他将在费先科的指导下攻读博士学位，并和导师共同开展研究项目。

2024年3月，周应邀前往日本京都，在望月主办的国际学术会议上做了40分钟IUT专题报告，并已发表两篇与IUT相关的预印本论文。

不过，部分数学界人士表达了质疑。

一位自称为数学教授的知乎用户质疑道：“五个月就能读完700页的Abelian几何与望月新书，然后再发新论文，是否太快了？”

面对媒体的褒奖和质疑，周在社交媒体回应说：“以前读书时总希望获得老师的认可，证明自己。现在对数学的心态完全变了，数学对我来说变得更纯粹。我只专注于学科本身，慢慢理解和思考。所有论文都基于前人研究，我只是做了一些微小的创新和探索，希望能在这个领域贡献一点力量。”














来源：

https://www.scmp.com/news/china/ ... n-upend-mathematics

Shi Huang

Published: 8:00pm, 30 May 2025

dootbear

本文要点：

1. 周忠鹏攻克“外星语言”IUT理论关键难题，提出对ABC猜想和广义费马大定理的重大突破，被IUT权威称“成果远超怀尔斯”。

2. IUT理论由望月新一2012年提出，因其符号和逻辑极其晦涩、框架庞大，全球能读懂的专家不超过20人。

3. 周忠鹏自小数学天赋突出，北大直博，因研究兴趣与学业要求不符、学术困境退学，后在华为做算法工程师。

4. 工作之余，他夜以继日自学数论、钻研IUT，2024年论文获IUT权威认可，并受邀赴西湖大学、京都做学术交流。

5. 数学界有人质疑其进展太快，周表示只专注数学本身，所有成果都建立在前人基础上，希望为领域做出小小贡献。

6. 随着中外专家团队持续扩大，IUT理论有望简化众多数论难题，并对现代数学产生深远影响。

ericcheung17

放弃博士这不叫辍学吧

淡淡的定

链接咋404了

JCooper

WOW

小李師傅

這種才是天賦異禀

dootbear

淡淡的定 发表于 2025-6-3 07:13
链接咋404了

幸运我还没关掉这一网页：

wmxu

数学天才周忠鹏之后会有期……

dootbear

淡淡的定 发表于 2025-6-3 07:13
链接咋404了

https://www.scmp.com/news/china/ ... n-upend-mathematics

hankz

佩服，放弃华为高薪投入自己真正感兴趣的数论领域作学术，倾佩！

zhuzhu007

个人还是最喜欢冰雹猜想，虽然相比这个还有黎曼猜想，用处不大

takki

太强了，据说望月的论文全世界能完全读懂的还很少，至今不能证明其对错

abcd12345

想起了陈景润。哥德巴赫猜想不知世界突破否？   
海量的中国人口 天才辈出  

sarahlin

听起来又是一个姜萍 主=6 的故事，民科是不可战胜的

纳品恩街

想起The Big Short电影里的经典镜头。“他的名字叫杨，他得了中国全国数学竞赛第一名，他甚至都不会讲英文。所以我当然知道我的数学不会错！”

pzh

takki 发表于 2025-6-3 09:36
太强了，据说望月的论文全世界能完全读懂的还很少，至今不能证明其对错

爱因斯坦的理论刚出时也这样，至今能全懂的也不多。大家都能读懂的就不是天才理论了

Hillwang

天才！

gavy

sarahlin 发表于 2025-6-3 09:48
听起来又是一个姜萍 主=6 的故事，民科是不可战胜的

所以你想说什么  

yxfc2003

只有20个人懂？这个写新闻的真懂？

对你爱不完

sarahlin 发表于 2025-6-3 09:48
听起来又是一个姜萍 主=6 的故事，民科是不可战胜的

你还是有本质的区别的，说的直白一点，别说证明了，能看懂都是牛人

石堡

对你爱不完 发表于 2025-6-3 10:27
你还是有本质的区别的，说的直白一点，别说证明了，能看懂都是牛人

她大概是说那个日本人是个民科骗子，拿这个周当江平

maxinfang

“每周工作14小时的间隙，于周末完成的这一成就。”
这也蛮轻松的 是每天吧

对你爱不完

石堡 发表于 2025-6-3 10:30
她大概是说那个日本人是个民科骗子，拿这个周当江平

猜想是数学发展中非常重要的一部分。很多著名的数学定理，最初都是以猜想的形式提出，经过长时间的研究和证明，才最终被证实

一司机

gavy 发表于 2025-6-3 10:14
所以你想说什么

可能那位同学不知道这两年中国数学人才辈出。当然这必须感谢美国大学的培养，一大批有成就的教师回归。

dootbear

一司机 发表于 2025-6-3 10:46
可能那位同学不知道这两年中国数学人才辈出。当然这必须感谢美国大学的培养，一大批有成就的教师回归。 ...

其中一位是韦神

石堡

对你爱不完 发表于 2025-6-3 10:36
猜想是数学发展中非常重要的一部分。很多著名的数学定理，最初都是以猜想的形式提出，经过长时间的研究和 ...

她的逻辑是这样的。
另外望月并不是提出猜想，而是提出证明。
十多年了，没几个人去验证，所以既没有证实也没有证伪。这和二十年前的庞加莱猜想证明完全不同，当时是一堆顶尖数学家在抢着研究。

一司机

dootbear 发表于 2025-6-3 10:49
其中一位是韦神

我侄子也是读纯数学的博士，在他们奥数圈韦神绝对是神一样的存在。

飞翔翼

中国高中奥数竞赛能拿一等奖都是神人，智商和普通人不是同一个频道的。

对你爱不完

石堡 发表于 2025-6-3 10:50
她的逻辑是这样的。
另外望月并不是提出猜想，而是提出证明。
十多年了，没几个人去验证，所以既没有证实 ...

数学上猜想多的很，上万，几十万可能都有，别说十年，几百年没证明的猜想都有

MerryX

人脑也配和AI比数学创新？