标签: 数学
距离科学家曾经预测的“世界末日”,只剩下一个多月。1960年11月4日,国际顶级
距离科学家曾经预测的“世界末日”,只剩下一个多月。1960年11月4日,国际顶级学术期刊《科学》发表了一篇标题惊人的论文:《世界末日:公元2026年11月13日,星期五》。论文作者是物理学家海因茨·冯·福斯特及两名同事。他们根据过去数千年的人口变化建立数学模型,得出一个令人难以置信的结论:如果人类继续按照历史趋势繁衍,全球人口将在2026年11月13日趋近于无穷大。这个日期恰好是星期五,也是西方文化中常被视为不吉利的13日,更巧的是,当天还是冯·福斯特的生日。当然,世界并不会在那一天毁灭。这项66年前的研究如今反而成为一个经典案例,说明即使数学模型能够准确描述过去,也不一定能够预测未来。当年的研究建立在一个引人注意的现象之上:人类人口翻倍所需的时间越来越短。研究人员收集了公元前400年以来的人口估计数据,发现人口增长不仅越来越快,而且增长速度的加快程度甚至超过了普通指数增长。他们据此建立数学方程,将历史趋势延伸到未来,结果发现人口增长曲线将在2026年11月13日出现数学上的奇点,人口数量趋向无穷大。研究人员在论文中写道:“我们的玄孙不会饿死,他们会被挤死。”不过,这个模型所描述的人口增长趋势,在论文发表前后就已经开始发生变化。随着生育率下降,全球人口增长逐渐放缓。到2010年,按照当年的模型,世界人口应该已经达到110亿,但实际只有约70亿。人口生物学家乔尔·科恩认为,冯·福斯特很可能并不是认真预测人类会在某一天灭亡,而是希望通过这个极端结果,引起人们对人口超高速增长的关注。经济学家哈维尔·伯琴纳尔也指出,“世界末日方程”的失败,提醒人们不能简单地将特殊历史时期形成的增长趋势无限延伸到未来。事实上,人口增长规律发生变化并不奇怪。随着社会经济发展、医疗条件改善、教育水平提高以及生育观念转变,决定人口增长的因素也会发生变化。
大数据再大,也有覆盖不到的地方。人工智能再强,也有回答不了的问题,2026年10
大数据再大,也有覆盖不到的地方。人工智能再强,也有回答不了的问题,2026年10月,人工智能的发展已经到了一个很特别的阶段,一边是机器能够完成复杂的数学推理、编写程序,甚至参与科学研究;另一边,研究人员却发现,某些人工智能连看懂普通指针时钟都不稳定。2026年10月,人工智能的发展已经到了一个很特别的阶段。一边是机器能够完成复杂的数学推理、编写程序,甚至参与科学研究;另一边,研究人员却发现,某些人工智能连看懂普通指针时钟都不稳定。更值得思考的是,当这些系统越来越多地参与医疗、教育和公共事务时,人们究竟该相信它到什么程度?9月25日,美国斯坦福大学公布了一项关于人工智能测评的研究进展。研究人员发现,一些被广泛采用的测试方法,未必真正测出了它们声称要测量的能力。这个发现很有现实意义,因为模型的测试成绩不仅影响企业投资,还可能被政府用于制定技术政策。机器得了高分,不等于进入现实生活后就一定可靠。这种反差,在斯坦福大学2026年《人工智能指数报告》中表现得更加明显。报告指出,先进模型已经能够在国际数学奥林匹克竞赛相关任务中达到金牌水平,但在一项读取传统指针时钟的测试中,表现最好的模型正确率也只有50.1%。有些问题对普通成年人并不困难,对机器却可能成为难题。技术能力并不是沿着一条直线均匀增长的。为什么会出现这种情况?关键在于,人工智能掌握知识的方式,与人类亲身认识世界的过程并不相同。它能够分析大量文字、图片和数字,寻找其中的联系,却不一定了解这些信息产生时的具体环境。比如同一句话,在不同场合可能代表提醒、玩笑或者讽刺。脱离说话人的表情、经历和当时的处境,理解就容易出现偏差。还有一个容易被忽视的问题:机器究竟从哪里获得知识?国际电信联盟2025年11月17日发布的统计显示,当年全球约60亿人使用互联网,仍有22亿人没有上网。网络确实连接了大量人口,但并没有覆盖所有人的生活。那些没有被记录的经历、没有数字化的地方知识,以及尚未公开的研究成果,都不可能因为计算机运算速度快,就自动进入数据库。这里还涉及信息的分布问题,经济条件较好的地区,往往有更完善的网络、更丰富的电子资料,也更容易留下数字记录。偏远乡村的一些农业经验、地方手艺和传统知识,可能只能通过师徒传授、口耳相传保存下来。它们未必缺乏价值,只是没有经过数字化整理,倘若人工智能长期依赖容易获取的资料,某些群体的经验就可能被低估。不过,资料不完整只是问题的一部分。更加麻烦的是,机器有时不能准确判断自己知道什么、不知道什么。2026年斯坦福人工智能指数报告对26个先进模型进行相关测评后发现,在特定测试条件下,不同模型产生错误内容的比例存在明显差异。这些结果不能直接代表日常使用的总体错误率,却说明模型即使表现先进,也仍会把不可靠的信息组织成看似合理的答案。这种风险放在日常生活里,很容易理解。比如有人询问一份保险合同能否赔付,人工智能可能详细解释合同条款,但如果不知道投保时间、免责条件以及真实事故经过,就不能轻易得出确定结论。再比如有人询问某种药物是否适合自己,仅凭年龄和几个症状,也不足以判断身体情况。问题不是答案写得够不够长,而是决定结论的关键事实是否齐全。到了10月,相关争论还在继续,美国纽约市议会举行的人工智能安全听证会上,来自多家科技企业的前员工讨论了技术快速发展带来的风险。有关讨论涉及企业透明度、外部审查以及内部人员反映问题的保护机制。争论的重点已经不只是机器能够完成多少工作,而是谁能够检查它的行为、发现问题后又由谁负责。把这些事情联系起来,就会发现人工智能竞争正在发生变化。过去,人们喜欢比较谁的模型参数更多、计算能力更强、回答速度更快。现在,准确率、可信度、数据来源和安全管理同样重要。2026年7月,联合国全球人工智能治理对话在日内瓦举行,也反映出各方希望把技术发展与公共利益、包容性和安全要求放在一起讨论,而不是只关注技术本身的突破。对中国而言,这同样是一个值得认真考虑的发展方向。人工智能的实际价值,不应只体现在能够回答多少道题,还应体现在能否真正解决生产生活中的难题。工业设备出现异常,需要结合现场检测寻找原因;农村地区推广智能农业,需要考虑当地土壤、气候和种植习惯;基层公共服务使用智能系统,也必须照顾不熟悉智能手机的老年群体。这些场景有一个共同特点:解决问题不能只靠网上已有的内容,还需要不断收集真实情况,让技术与实际工作相结合。
OpenAI又公开了一批内部前沿模型生成的数学研究结果,以及相应的证明、Lean形式化验证和部分推理
OpenAI又公开了一批内部前沿模型生成的数学研究结果,以及相应的证明、Lean形式化验证和部分推理资料。(这里:github.com/openai/math)以及刷到一个评论OpenAI又公开了一批内部前沿模型生成的数学研究结果,以及相应的证明、Lean形式化验证和部分推理资料。(这里:github.com/openai/math)以及刷到一个评论
孙宇晨奖的第一批获奖者出现了?过去几年,全球科技竞争的焦点一直集中在芯片、人工
孙宇晨奖的第一批获奖者出现了?过去几年,全球科技竞争的焦点一直集中在芯片、人工智能、大模型,但2026年9月,一场围绕数学问题的奖励机制突然进入视野。很多人关注的并不是一块金牌,也不是一个名字,而是一个问题:未来基础科学的突破,到底应该靠传统学术体系推动,还是需要新的激励方式加入?孙宇晨奖的出现,恰好把这个争论推到了台前。从公开信息来看,孙宇晨奖并不是按照传统科学奖项每年评选,而是先公布数学问题清单,再针对完成突破和形式化验证的成果给予奖励。2026年9月16日,该奖项正式宣布成立,首批公布涉及66个数学问题的成果,最高单项奖金达到100万美元。这件事真正特殊的地方,在于它改变了过去“先有专家圈子认可,再产生影响力”的路径。传统科研体系中,一个数学成果可能需要几年甚至更长时间接受检验,年轻研究者即便解决重要问题,也未必能够快速获得关注。而这种悬赏模式,是把问题直接摆出来,让全球研究者围绕明确目标竞争。2026年9月19日,孙宇晨奖首批候选成果进入14天公示阶段,涉及题库第305、371、381、526、866、1001号问题,相关信息通过公开登记方式接受挑战。按照公开规则,奖金发放与验证流程绑定,奖池地址公布并存入1000万美元。这背后释放出的信号很明显:人工智能时代,科学研究的竞争规则正在变化。过去,科研资源高度依赖大学、研究机构和国家项目,而现在,资金、算力、开源平台正在形成新的组合。谁能够提出更有效率的激励方式,谁就可能吸引更多全球顶尖人才进入基础研究领域。孙宇晨奖引发讨论,并不是因为它第一次奖励数学成果,而是因为它把区块链行业熟悉的公开透明机制带进了科学领域。问题列表公开,验证过程公开,资金记录公开,这种模式试图减少传统评价体系中的中间环节。当然,这种尝试也伴随着质疑。科学不是简单的竞赛,数学突破更不是靠奖金就能制造出来。一个真正重要的问题,往往需要几十年积累,需要大量理论基础作为支撑。高额奖励可以增加关注度,但不能替代科学共同体长期积累形成的判断标准。从数学领域来看,当前全球正在进入“数学+人工智能”的新阶段。大模型的发展让机器参与复杂推理成为现实,形式化验证工具也让数学证明能够被计算机逐步检查。过去依靠人的经验判断,现在越来越多环节可以交给机器完成。这对于中国科技发展同样具有参考价值。未来国际竞争,不只是制造业规模竞争,也不只是单个技术产品竞争,更重要的是基础科学能力竞争。数学、物理、计算理论这些看似距离产业很远的领域,实际上决定着人工智能、芯片、密码安全等产业的上限。尤其是在2026年全球人工智能快速扩张背景下,各国都在争夺顶级科研人才。美国依靠高校和科技企业吸引大量研究人员,欧洲试图强化基础科研体系,中国也在持续推进基础研究投入和科技创新能力建设。在这种环境下,任何能够提高科研效率的新模式,都值得关注。孙宇晨奖选择数学作为突破口,本身具有象征意义。因为数学不像商业产品那样可以快速产生市场收益,但它决定着未来技术发展的底层能力。密码学依靠数学,大模型算法依靠数学,量子计算依靠数学,未来更多科技突破也离不开数学基础。不过,真正需要观察的是,这种机制能否经受时间考验。一个奖项如果只是依靠创始人的个人影响力,很难长期维持;只有不断出现高质量成果,并得到全球科研群体认可,才可能形成真正的科学品牌。目前来看,孙宇晨奖更像一次实验。它试图回答一个新时代问题:当人工智能、开源技术和全球互联网结合后,科学发现是否可以拥有新的组织方式。对于中国而言,这场讨论的价值并不只是关注某一个奖项,而是提醒外界,未来科技竞争已经进入更深层次阶段。基础科学、人才培养、开放平台和创新生态,将成为决定国家科技实力的重要因素。进入2026年10月,孙宇晨奖仍处于早期阶段,它能否成为具有长期影响力的科学奖励机制,还需要时间验证。但不可否认的是,它已经把一个过去主要属于学术圈的问题,带到了全球科技竞争的大舞台上。未来几年,人工智能可能改变科研生产方式,而新的奖励机制也可能改变科学资源流动方式。谁能够更好连接资金、人才、技术和知识,谁就更有机会在下一轮科技竞争中占据主动。