搜索结果
大金字塔中发现的数学“密码”可能揭开新秘密
数个世纪以来，吉萨大金字塔的种种谜团一直令考古学家和科学家们困惑不解。 许多人都想知道，它究竟是如何、又为何在4000多年前建于埃及，而一种新理论……
埃及：新测量数据显示图坦卡蒙墓中存在隐藏墓室
地球物理勘探：图坦卡蒙墓下可能存在隐藏的密室。 在世界上很少有地方像帝王谷这样，安葬了如此多的统治者。片位于埃及卢克索西北几公里处的丘陵沙漠地带，埋藏着数十座古埃及法老和高官的陵墓——这些由通道、竖井和墓室组成的复杂系统是在数千年前凿入岩石中的。 最著名的陵墓莫过于法老图坦卡蒙的陵墓，因为它在1922年被发现之前几乎未受破坏，且保存了无数珍宝。位英年早逝的法老那金色的死亡面具使他闻名于世。 长期
当人工智能解出“千禧年难题”，人类还需要亲自做数学吗？
【编者案】什么是信息，什么是知识？在 AI 时代，两者有怎样的差别，又有哪些知识是仍然值得拥有的？人工智能发展正对许多学科带来冲击，尤其是在信息丰富，但需投入海量计算资源的领域，例如预测新的蛋白质 3D 结构，解决数学问题，描绘生物演化关系等。前所未有的效率工具让学科进步提速，但变化日新月异，想要辨明当下的发展方向也变得更加困难。端传媒推出“未来怎么学”系列，关心 AI 时代的学习问题，大到“还要
先进成像技术有望解锁被封存两千年的赫库兰尼姆卷轴
公元 79 年维苏威火山的灾难性爆发吞没庞贝古城的同时，也将相邻古城赫库兰尼姆的一座奢华别墅及其内部数量庞大的古代卷轴埋入地下。这些经火山灰与高热炭化、在地下封存了近两千年的纸莎草卷轴极其脆弱，任何物理剥离与展平的尝试都会导致其瞬间化为灰烬。如今，由多国科学家与计算机专家组成的联合团队利用最前沿的非破坏性成像技术与人工智能算法，正在逐步破解这些卷轴的内部文字，有望在不损伤文物的前提下重新读取这些失
《新科学家》：数学难题证明不再稀缺 AI让数学进入混乱时代
人工智能正在进入数学最核心的领地。过去，人们习惯把计算机视为高速计算器或证明检查器，如今，新一代模型已经能够提出证明思路、搜索反例、形式化复杂论证，甚至直接参与开放问题研究，如果机器也能“做数学”，人类数学家的价值将转移到哪里？ 《新科学家》把这种变化称为数学史上最好也最糟糕的事情，并不夸张。AI正在拆除研究中的一些古老瓶颈，但也可能把数学推入一个答案过剩、理解不足的新阶段。 从解题工具到研究伙伴
OpenAI有望攻克另一项千禧年大奖数学难题
还记得本月早些时候，数学家指责OpenAI试图抢占先机、争夺一道超高难度数学难题的成果，令这家公司陷入舆论风波吗？据了解该研究进展的人士透露，事实是OpenAI距离攻克千禧年大奖难题中的另一道数学难题已近在咫尺。千禧年大奖难题一共包含七大著名数学挑战，此前引发争议的纳维–斯托克斯方程存在性与光滑性问题正是其中之一。 该消息人士称，公司内部员工预计，下一个目标——霍奇猜想，有望在较短时间内得到证明。
GPT-6 Astra取得哥德巴赫猜想重大突破
数学界重大突破！就在最近，GPT-6 Astra又在哥德巴赫猜想上取得新进展了。 网友Captain Astra已成功证明了关于刘维尔函数的一项类哥德巴赫猜想！ 具体来说，它无条件证明了哥德巴赫猜想的Liouville弱形式。 更惊人的是，跟我们的想象不同，这一次，Astra并不只是靠着大力出奇迹的算力碾压——它做出l非常优雅的逻辑推理。并且，这个证明现在已经通过了Lean 4的形式化验证。 摘不
谷歌最强数学推理AI模型曝光：100万词元上下文，专攻数学难题
IT之家 9 月 18 日消息，消息源 @lyraxana 于 9 月 16 日在 X 平台发布推文，爆料称谷歌正基于 DeepThink V3 模型，构建内部代号为 Mathematica 的实验 AI 模型，主要针对繁重计算、复杂的符号问题求解特别优化，预估将成为谷歌最强数学推理 AI 模型。 I 数据显示，该模型内部标识符为“models / deepthink-mathematica-tf
一款新聊天机器人欲解开破损古希腊记录中的秘密
全球的学术图书馆中堆积着数以十万计的古希腊纸草片碎片。尽管其中许多件由于损坏程度过高其含义或已不可恢复，但学者们仍可以通过系统地填补缺失的单词或短语来恢复其内容。为了加速这一繁琐的工作，研究人员转而利用人工智能。 周三，奥地利科学院将发布“世界上首个先进的古希腊大语言模型”，该模型是与法国人工智能实验室米斯特拉尔(Mistral)以及科技服务公司赛尔回复(Sail Reply)合作开发的。这款名为
那个永远改变了数学的星期——播客
九月初，OpenAI宣布他们解决了一个困扰人类近一个世纪的重大数学问题。 这一消息让数学家们感到震惊，许多人担心随着AI在解决复杂问题方面变得越来越熟练，人类将失去什么。 现在，25位菲尔兹奖（常被称为数学界的诺贝尔奖）得主签署了一封公开信，表达了他们对AI公司与数学界之间可能存在“严重脱节”的担忧。 为了了解AI将如何颠覆数学领域以及数学家们可能会做出怎样的反应，Ian Sample采访了圣安德
OpenAI称已攻克数学‘千禧年难题’之一
突发消息：OpenAI表示已攻克数学领域最大的未解难题之一，这是人工智能将如何改变该领域的又一显著标志。 该公司的这一声明是迄今为止最引人注目的迹象，表明人工智能正在从根本上改变高等数学领域。
韦神主攻的千禧年难题 被Claude攻破了？
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是，丘成桐先生悬赏 10 万元，征集对佩雷尔曼的庞加莱猜想证明的形式化验证！ 庞加莱猜想是拓扑学中一个关于三维空间形状的著名数学定理，指出如果在一个封闭的三维空间里，每条封闭的曲线都