动态列表

  • 九天大模型大变身:性能狂飙35%!还能一键P大象
  • 万亿参数狂欢!一文刷爆2025年七大顶流大模型架构
  • 豪拒15亿美金天价Offer,硅谷最狂AI巨星身份曝光!小扎、奥特曼抢破头
  • 兔子蹦迪疯传,5亿观看!全球恐慌:一段AI视频把全人类拉入虚拟现场
  • 全网苦等GPT-5,超级对齐团队遗作成重要线索,奥特曼发话「惊喜很多」
  • 图灵奖得主Sutton再突破:强化学习在控制问题上媲美深度强化学习?
  • GUI定位还在玩「非黑即白」?浙大团队提出GUI-G²,显著提升GUI智能体定位性能
  • OpenAI IMO金牌团队爆料:AI拒绝作答第六题
  • ​特斯拉车祸,被判赔偿超 2 亿美元;传 OpenAI 将推 10 美元「亲民订阅」;影石刘靖康:祝贺同行大疆推全景相机
  • GPT-5难产内幕曝光!核心团队遭挖空,推理魔咒难破,靠英伟达续命
  • 哥大学生全员AI作弊?小哥「创业逆袭」:不用AI等于输在起跑线!
  • Hinton预言成真,美国大学生掀起本科辍学潮!月入万刀修马桶,不怕AI裁员
  • GPT-5难产,外媒爆料:性能提升不大,OpenAI高管Slack上当众破防
  • 19岁小哥伯克利辍学创业,获2800万美元融资,OpenAI投了
  • 通向L3的正确范式?理想i8全球首发VLA高阶辅助驾驶,我们帮你试了试
  • ICCV 2025 | EPD-Solver:西湖大学发布并行加速扩散采样算法
  • 刚刚,谷歌「IMO金牌」模型上线Gemini,数学家第一时间证明猜想
  • 一个模型超了DeepSeek R1、V3,参数671B,成本不到350万美元
  • 多模态后训练反常识:长思维链SFT和RL的协同困境
  • 库克打气苹果 AI:不拼首创,自信能主导市场;微信提现手续费下调至 0.01 元;Manus 推 Wide Research
  • 微软破4万亿,被裁员工扎心!70级工程师天价薪酬曝光:入职大礼包2700万
  • 港科大发布「大模型越狱攻击」评估基准,覆盖37种、6大类别方法
  • 刚刚,OpenAI神秘开源模型泄露!「闪现」1分钟被删,配置被网友扒光
  • 24岁辍学博士,小扎捧2.5亿薪酬包亲自上门抢人!AI顶薪已让NBA汗颜
  • 奕派科技重磅发布“未来之翼”战略,2026款东风奕派eπ008限时先享价17.36万元
  • 一切竞争,都变成了「AI 竞争」
  • 途深智合推出旗下AI科研品牌--追梦AI
  • 模型共享、数据互通、设施互连,上海人工智能实验室上线「书生」科学发现平台
  • 一次中稿10篇ACL25,通义实验室 代码智能&对话智能团队 在研究什么
  • 联合三大蛋白质模型,仅需4~6周,定制癌细胞特效「识别器」
  • 全球首款通用AI科研智能体问世:我一个文科生用它写了份CRISPR基因编辑综述报告
  • 中国在AI领域超越美国已是板上钉钉?吴恩达:美国无法保持领先
  • 驯服复杂表格:九天重磅开源,开启「人与表格对话」智能新时代
  • 思维链监督和强化的图表推理,7B模型媲美闭源大尺寸模型
  • 超聚变亮相WAIC 2025 重构数智化平台,共建智能体时代
  • Manus大升级,100多个智能体并发给你做任务
  • 挖人上瘾的Meta又被员工吐嘈:不帮忙宣传项目,开源只会越来越糟
  • 机器人不只会抓和放!北京大学X银河通用「世界-动作模型」赋能全面泛化的非抓握技能
  • 火山引擎作为「AI 原生」基础设施,变得更强了
  • 英伟达回应「芯片后门」:不存在后门;大疆推 Osmo 360 全景相机,2999元;微软成第二家 4 万亿美元公司
  • WAIC唯一指定C位,AI「国家队」又赢麻了!秒懂Hinton伦敦腔,现场杀疯老外狂点赞
  • 首部法律LLM全景综述发布!双重视角分类法、技术进展与伦理治理
  • 小扎一夜反水,背刺开源!亲手葬送「Llama神话」,股价大涨12%
  • GPT-5发布倒计时?全网泄露来了:微软Copilot憋大招,GPT-5上线最后冲刺!
  • 17.98 万的乐道 L90,有多少蔚来的诚意,就有多少李斌的「求生欲」
  • ACL'25最佳论文独家解读:大模型有「抗改造」基因,现有后训练范式失灵预警
  • 当提示词优化器学会进化,竟能胜过强化学习
  • ACL 2025主会论文 | TRIDENT:基于三维多样化红队数据合成的LLM安全增强方法
  • 谷歌发布AlphaEarth基础模型:构建「地球版ChatGPT」,融合多源数据,实现10米级地球观测
  • 微软花重金做的Copilot,居然被WPS一个按钮给秒了?
  • 定义科学智能2.0:在WAIC,复旦与上智院的答案是开放协作、科学家为中心,以及一个「合作伙伴」
  • OpenAI提出的CLIP,被Meta联合谢赛宁、刘壮,扩展到全球300+语言
  • VLA-OS:NUS邵林团队探究机器人VLA做任务推理的秘密
  • XREAL One Pro 体验:AR 老炮的自我革命
  • WAIC UP! 之夜:一场关于AI与人类未来的星空思辨
  • AI 智能体,让每个人可以像科学家一样工作和思考
  • 刚刚,扎克伯格公开信:Meta不会开源全部模型
  • 没敲过代码的我,半小时「聊」出一个能用能分享的「小程序」
  • 把指纹焊死在频率上:抗微调神经网络指纹的硬核方案来了
  • 32.18万起!理想i8正面「硬刚」特斯拉Model X
  • 智能驾驶最大的障碍,不是懂车帝
  • 刚刚,DeepSeek梁文锋NSA论文、北大杨耀东团队摘得ACL 2025最佳论文
  • 小米青年公寓正式启用,1999 元/月;Meta AI 数据中心投入 720 亿美元;NBA 引入「AI 篮球」
  • AI百人榜刷屏,小扎照单全收?辛顿Ilya师徒霸榜,第二名竟是本科生
  • 炮轰黄仁勋,决裂奥特曼!1700亿美元估值背后,硅谷最不好惹的AI狂人
  • 别只盯着李飞飞!AI的「3D数据底座」已被这家中国公司悄悄建好
  • 无需准确传感信号!轻松搞定「多段软体机械臂」复杂位姿与形状控制
  • Nature 子刊 | DeepSeek落户超750家医院,清华团队剖析AI医疗监管隐忧
  • P图手残党有救了,豆包·图像编辑模型3.0上线,一个对话框搞定「增删改替」
  • 开出10亿美元天价,小扎挖人Mira创业公司惨遭拒:俺们不差钱
  • 当智能成为主要生产资料,硅基经济学引爆「AI+金融」
  • SPIRAL:零和游戏自对弈成为语言模型推理训练的「免费午餐」
  • 刚刚,OpenAI推出学习模式,AI教师真来了,系统提示词已泄露
  • 凌晨,Qwen又更新了,3090就能跑,3B激活媲美GPT-4o
  • AI安全上,开源仍胜闭源,Meta、UCB防御LLM提示词注入攻击
  • 字节辟谣「豆包汽车」:无造车计划;英伟达市值突破4.3 万亿美元;传特斯拉将推「低价赛博皮卡」
  • 科学能力太强,这个多模态推理「六边形战士」被严重低估!Intern-S1开源登顶
  • 全球首次,「AI记忆」开源落地!MIRIX同步上线APP
  • GPT-5基准测试泄露,被曝两天后发布?打Minecraft震撼开挂网友直呼封神
  • 马斯克偷偷憋了个大招!Grok秒出《阿凡达》画质,好莱坞瑟瑟发抖?
  • 理想i8正式发布:首款纯电SUV,售价32.18万元起
  • WAIC 2025大黑马,一个「谢耳朵AI」如何用分子式超越Grok-4
  • 通义实验室大火的 WebAgent 续作:全开源模型方案超过GPT4.1 , 收获开源SOTA
  • 这家国内公司,在给具身智能技术栈做「通解」
  • ACL首届博士论文奖公布,华人学者李曼玲获荣誉提名
  • 全球首个全链式空间天气AI预报模型“风宇”!国家卫星气象中心牵头,联合南昌大学、华为共同研发
  • LeCun出手,造出视频世界模型,挑战英伟达COSMOS
  • 联合十余家国产生态,商汤大装置发布“算力Mall”,打造算力超级市场
  • 用说的就能做 App,这家公司想做 AI 时代的 ins
  • 从数字人到「有温度的」机器人,京东把 AI 深度应用的路线图「摸透」了
  • 开启RL Scaling新纪元,siiRL开源:完全分布式强化学习框架,支持超千卡规模高效训练
  • 共青年之智,铸AGI未来|2025 WAIC云帆奖得主名单揭晓
  • 阿里再开源,全球首个MoE视频生成模型登场,电影级美学效果一触即达
  • 不靠海量数据,如何精准喂养大模型?上交Data Whisperer:免训练数据选择法,10%数据逼近全量效果
  • WAIC2025,斑马智行元神AI获国际测评机构全项第一
  • 蛋白质基座的GPT时代来了?AMix用Test-time Scaling让蛋白质设计迈向通用智能
  • Allegro-FM:剑指分子动力学基础模型,零样本预测89种元素及复杂反应
  • AI 上新|不会用 PS 的我,却敢去小红书上接「设计单」了
  • GMI Cloud 于 WAIC 2025 展现全栈 AI 基建实力,破解出海成本与效率难题
  • WAIC 2025: 斑马智行元神AI大模型,获全球机构测评第一
  • 国内首例!由钉钉AI平台训练的豆蔻大模型通过妇产科主任医师考试
  • 闭幕式 | 2025世界人工智能大会暨人工智能全球治理高级别会议成功举办
  • 智谱发布新一代基座模型GLM-4.5:开源、高效、低价,专为智能体而生
  • AI Agents的“超级大脑”来了 阿里云正式发布无影Agentbay
  • WAIC 2025前探:AI硬件如何改变我们的日常生活
  • 这届WAIC,无问芯穹发布了三个「盒子」
  • 「幻觉」竟是Karpathy十年前命名的?这个AI圈起名大师带火了多少概念?
  • EvaLearn:AI下半场的全新评测范式!
  • 蚂蚁数科发布金融推理大模型 助力金融机构加速落地智能体应用
  • 2025 WAIC容联云AI AGENT论坛启幕,以技术引擎驱动产业智能跃迁
  • 商汤大装置亮相WAIC 2025,多项标志性成果打造AI基础设施新范式
  • 广大、清华等开发EdgeAIGC,让边缘缓存命中率飙升41%,AIGC延迟与成本双降
  • WAIC直击|快手可灵AI引领「生成式AI应用元年」,累计生成超2亿视频
  • 硬核「吵」了30分钟:这场大模型圆桌,把AI行业的分歧说透了
  • ICCV 2025|UV-CoT:无监督视觉推理新突破,偏好优化重塑图像级思维链
  • 扣子开源全家桶,Apache 2.0加持,AI Agent又一次卷到起飞
  • 多模态大模型,真的「懂」世界吗?——揭秘 MLLM 的核心知识缺陷
  • 具身智能,腾讯「低调入局」
  • 首次结合RL与SFT各自优势,动态引导模型实现推理⾼效训练
  • 特斯拉廉价 Model Y 减配内饰曝光;Firefox 终止中国账户运营;宇树王兴兴:经常偷懒,用 AI 写代码|极客早知道

天才美少女的开挂人生,首次揭晓!11岁自学微积分,17岁推翻40年难题



  新智元报道  

编辑:定慧 好困
【新智元导读】11岁自学掌握微积分,14岁便已达到本科水平,17岁成功破解40年未解猜想。尚未高中毕业的她,已被马里兰大学博士项目直接录取。如今,这位传奇少女梦幻的人生故事,第一次呈现在了我们面前。

一位天才少女,因为觉得在家按部就班的上学生活太过「无聊」后,就去伯克利申请了一门研究生课程。

然后,她就「顺手破解」了一道困扰数学界40年的难题

这种听起来像是爽文一样的人生,确确实实发生在今年2月。

倒不是说尚未完成高中学业的青少年无法解决复杂的数学问题,但出现这种结果的可能性似乎微乎其微

2月10日,一篇推翻Mizohata-Takeuchi猜想的论文,令数学界感到震惊、欣喜,同时也预示一颗新星正在然然升起。
它的作者,正是当时年仅17岁的汉娜·凯罗(Hannah Cairo)。

论文地址:https://arxiv.org/pdf/2502.06137


数学是她逃离现实禁锢的无垠世界


汉娜的童年在巴哈马的拿骚度过。

和两个兄弟一样,她在家中接受教育,父亲是一位软件工程师。

她的数学之旅始于可汗学院的在线课程,这是一条被她迅速走完的跑道。

11岁时,微积分已是她的「囊中之物」。

不久,网上现成的内容已无法满足她。

父母为她找了两位数学教授进行远程辅导——先是韦尔斯利学院的Martin Magid,后是克拉克大学Amir Aazami。

但她大部分的学习仍是自我驱动的,独自阅读并消化着导师推荐的研究生级别数学教材

汉娜回忆道,Amir Aazami后来曾说:「他感觉收我的学费都有些不好意思,因为他觉得自己并没真正教我什么。大多数时候,都是我自己读完书,然后尝试去证明里面的定理。」

但汉娜觉得家庭教育让她备受束缚

「那是一种无法逃脱的、日复一日的单调。无论我做什么,都在同一个地方,做着几乎同样的事,」她说。

我感到与世隔绝,无论做什么都无法改变。有时一觉醒来,我只感到自己又老了一岁,别无其他。」

数学成了一种慰藉,一个在她逼仄的现实生活中得以喘息的广阔空间。

「数学是我能探索的另一个世界。一个没有边界、只要一思考便能随时进入的世界,」她说。

「我就是这样长大的,将数学视为一个可以独自探索的思想王国。这个过程,让我对数学的看法与众不同。」

2021年,新冠疫情肆虐,当世界为多数人按下暂停键时,汉娜的世界却开始延展。

旅行限制将她一家困在了芝加哥的祖父母家。

在此期间,她加入了「芝加哥数学圈」(Math Circles of Chicago),一个师生共同解决数学难题的社群。

这次经历促使她在次年申请了「伯克利数学圈」为期两周的在线暑期项目,这里曾是全球顶尖数学天才的摇篮。

在申请材料中,她列出了一长串自学课程,其内容已相当于一个数学专业的高年级本科学位。

那一年,她14岁。

「汉娜是远超常人的非凡存在,」伯克利数学家、「伯克利数学圈」创始人Zvezdelina Stankova评价道。

「她每次申请学校或项目,都已遥遥领先了好几个层级。」

然而,这些零星的经历从未让汉娜觉得自己拥有超凡的数学天赋。

她说话温和、待人真诚而谦逊,似乎真的不确定自己的能力与他人相比究竟如何——部分原因在于,多年来,她唯一的参照系只有自己

「成长过程中,我并不清楚自己算不算有天赋,」她说。

「我喜欢弹钢琴,周围人总夸我在数学和钢琴上都很有天分。但现在回头看,我的钢琴水平确实在平均之上,但绝谈不上出类拔萃。至于数学嘛……也就那么回事吧。


一道华人教授留的附加题,是传奇的开始


2023年,在伯克利数学圈度过第二个夏天后,汉娜开始思索未来。

她申请了几所大学,虽因没有高中学历大多被拒,但还是收到了加州大学戴维斯分校的录取通知。

是该提前三年开始本科生涯?还是去别处寻求机会?

Stankova鼓励她参加伯克利的「并行招生计划」,直接修读由领域内顶尖学者授课的研究生课程。

汉娜采纳了建议。

2023年秋,全家搬到了戴维斯市。哥哥入读加大戴维斯分校,而父母则允许她每周二、四通勤到伯克利上课。

到了春季,她已是每周五天泡在伯克利,修读更多课程。

她回忆,那是她生命中开始感到充满无限可能的时期。

「我开始交朋友,一切感觉都很好,」她说。春季学期结束后,全家从戴维斯搬到了伯克利——哥哥也决定转学至此——汉娜终于感到了安稳。

即便如此,适应过程仍在继续。「我没什么社交经验,所以还需要学习如何与人相处。」

2024-2025学年伊始,汉娜在选课时,被一门名为「傅里叶限制性理论」(Fourier restriction theory)的研究生课程所吸引,它是调和分析的一个分支。

「这是当时开设的最前沿的分析学课程之一,所以我想,干嘛不试试呢?」

授课教授是张瑞祥,一位成就斐然的数学家。

他的学术道路堪称典范:2008年国际数学奥林匹克竞赛金牌得主、在北大数院拿到学士学位、普林斯顿大学博士、高等研究院博士后,随后在全球顶尖的伯克利数学系获得终身教职。

汉娜邮件联系了张瑞祥,希望能加入他的课堂。「汉娜非常专注,且对这个课题充满热情,」他说。

「单是这种态度就足够了,所以我很爽快地同意了。」

几周后,在完成一份作业时,她遇到了一个让她沉迷其中、无法自拔的问题。

这个问题是「Mizohata-Takeuchi猜想」的一个简化版本。

张瑞祥将其作为热身题放在作业里,意在鼓励学生在一个艰深的领域中练习高级技巧。

作业还有一个选做题,邀请学生思考能否将简化版的证明推广到更复杂的情形。

汉娜完成了作业,并欣然接受了挑战,继续深挖下去。

对她而言,沿着一个想法的脉络走到尽头,是再自然不过的事。「我为什么要停下呢?」她说。

「Mizohata-Takeuchi猜想」是一个调和分析领域的问题,该领域旨在研究函数如何由各种波状成分组合而成。

任何函数都可以被分解为一系列简单的正弦波之和,而每个正弦波都有其频率。

数学家们常常想理解那些只能由特定频率的正弦波构成的函数的性质。在这些情况下,被允许的频率必须满足能勾勒出特定曲面(如球面)的方程。

这背后的原因在于,许多定义物理波(如光波、声波和量子波)的函数,其频率都受限于此类曲面。

「Mizohata-Takeuchi猜想」所考虑的,正是由频率落在这样一个曲面上的波所构成的函数。该猜想断言:函数的能量(衡量函数振幅大小的指标)只能以特定的模式分布和集中。

这好比在一个形状奇特的房间里演奏音乐。声波有时会因回声而放大,变得异常响亮。但这种情况的发生,必定是在房间里的某些特定位置。

几十年来,数学家们仅在该猜想的少数特例上取得了有限进展,而其普遍形式却始终无人能解,所有标准方法似乎都无从下手。

这种坚不可摧的特性让一些数学家怀疑它本身就是错的;而另一些人则认为,其表述的优雅简洁预示着它更可能为真。

「有些早上我醒来会想,这个猜想表述如此简洁优雅,适用范围又如此之广,它最终必然是真的,」研究该问题数十年的爱丁堡大学数学家Carbery说。「但另一些早上,我又会觉得……它不可能那么简单地就成立。」

数学家们就此陷入了僵局。

在攻克任何难题的道路上,怀疑总是如影随形。数学家们怀疑自己的方法、怀疑自己的直觉,怀疑那个当下看似前途光明的想法,最终能否站得住脚。

对汉娜而言,这些怀疑被进一步放大了。她初来乍到,早期证明完整猜想的尝试既不成熟也不完整。

她不确定自己的方向是否正确,张瑞祥也同样抱有疑虑。

「我跑去答疑时间问他,这些想法可行吗?结果证明它们很愚蠢,根本行不通,」她说。

「过程就是这样来来回回。我带着新想法去答疑,问它们是否可行,他总是回答不行。」

汉娜没有放弃,继续阅读与思考。

最终,她找到了一个方法,利用频率均落在特定曲面上的波,构建出一个奇特而复杂的函数。通常,当这类波叠加时,它们会相互干涉,在某些地方抵消,在另一些地方增强。

但汉娜证明,在她构建的函数中,波并没有如预期那样抵消。

相反,它们的干涉产生了不均匀的模式,导致函数能量以一种「Mizohata-Takeuchi猜想」所禁止的分形形态,在某些区域扩散,在另一些区域集中。

她发现自己创造出了一个在许多人看来本不该存在的数学结构

起初,她对此心存疑虑。「我经常遇到这种情况,」她说。「我得出了一个看似证明的结论,以为自己成功了,但结果发现自己其实是错的。」

随后,两件事发生了。

第一,她意识到可以用一个远为简单的构造来替代原先复杂的构造,并得到相同的结果。

第二,她彻底说服了自己,也说服了张瑞祥——这个结果是正确的。


她的第一个学位将是博士学位


自汉娜二月发布论文以来,这份证明及其出人意料的作者,为整个数学界注入了前所未有的活力。

「我当时的反应绝对是,哇!这可是我近40年来最钟爱的问题,我被彻底震撼了,」Carbery说。

「当我得知她比我想象的还要年轻得多时,我更是佩服得五体投地。论文行文之优雅,堪称非凡。

数学家们对汉娜的研究将如何启发新方向感到兴奋。

「我敢肯定,从今往后,每当我们遇到类似问题,都会尝试用类汉娜构造来进行检验,」Oliveira说。

他和调和分析领域的同仁们,将不得不面对一个被彻底改变的学术格局。

在调和分析领域,存在着一系列关于波能量如何集中的核心问题。

其中一个名为「斯坦猜想(Stein’s conjecture)」的猜想如果为真,将能把该领域中一些最重要的问题联系起来。但汉娜的工作证明了斯坦因猜想是错误的,从而切断了数学家们曾寄予厚望的一条关键路径。

数学界也在适应汉娜本人的存在。

完成证明后,她决定直接申请博士项目,完全跳过大学本科(和高中文凭)。

在她看来,自己早已在过着研究生的生活。

她申请了10个博士项目6个因她没有大学学位而拒绝了她,另有2个录取后又被学校高层驳回。

最终,只有马里兰大学约翰·霍普金斯大学愿意直接录取她攻读博士。

今年秋天,她将在马里兰大学开启她的求学生涯。

待她毕业之时,那将是她人生中的第一个学位——博士学位。

参考资料:
https://www.quantamagazine.org/at-17-hannah-cairo-solved-a-major-math-mystery-20250801/


<br>


    <a class="media_tool_meta meta_primary" href="http://mp.weixin.qq.com/s?__biz=MzI3MTA0MTk1MA==&amp;mid=2652616062&amp;idx=1&amp;sn=e1da15745ee0d083be663878e073a5c7&amp;chksm=f066f40d6da5db96cefbd08f0f1b92b3f8f9e2834208434a00c5ece30de27dd43a0c5a9e3a6c&amp;scene=0#rd"  target="_blank">文章原文</a>
    <br>




<img alt="" class="" height="1px" src="https://images.weserv.nl/?url=http://www.jintiankansha.me/rss_static/5418/Vsq4V86oEj&amp;maxage=1y"  width="1px"></div></div></body></html>

联系我们