搜索结果
Claude黎曼猜想最大突破 已被人类数学家验证
Claude在黎曼猜想（Riemann Hypothesis）上的相关证明，已被人类数学家彻底验证。这次，数学家Youness Lamzouri宣布Claude的证明结果确凿无误，而且给出了一个更简洁更优雅更强的新证明。 论f/2609.02882回到上个月，超过2/3的zeta零点被确认位于临界线上且为单零点！ 这个数字直接打破了黎曼猜想证明的记录——此前主流界限停留在41.6%左右，过去37年
韦神主攻的千禧年难题 被Claude攻破了？
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是，丘成桐先生悬赏 10 万元，征集对佩雷尔曼的庞加莱猜想证明的形式化验证！ 庞加莱猜想是拓扑学中一个关于三维空间形状的著名数学定理，指出如果在一个封闭的三维空间里，每条封闭的曲线都
Claude刷新物理学世界纪录！单挑基于杨振宁理论9圈难题
就在刚刚，Anthropic官宣，Claude拿下了理论物理的一项前沿纪录。 它在几乎无人类干预的情况下，连续运行数天，一举攻克了高能物理学界出了名难算的「九圈散射振幅」计算难题！ 具体来说，它算出了平面N=4超杨-米尔斯理论里六粒子振幅的九圈结果，人类此前的纪录停在八圈。 注意，杨-米尔斯模型（Yang-Mills）其中的「杨」，指的正是物理学泰斗杨振宁先生。 他与米尔斯在1954年共同创立的「
被雇用手动证明费马大定理的人称，Claude在11天内完成了证明
一位数学家持有为期五年的资助，用于形式化费马大定理。而这一工作已在十一天内为他完成，他表示这一结果对数学本身毫无启示。Anthropic于周五发布了该证明。 数十个Claude代理编写了1300万行Lean代码，并证明了30,300个中间定理。他们使用了29,500个……
GPT-6 Astra取得哥德巴赫猜想重大突破
数学界重大突破！就在最近，GPT-6 Astra又在哥德巴赫猜想上取得新进展了。 网友Captain Astra已成功证明了关于刘维尔函数的一项类哥德巴赫猜想！ 具体来说，它无条件证明了哥德巴赫猜想的Liouville弱形式。 更惊人的是，跟我们的想象不同，这一次，Astra并不只是靠着大力出奇迹的算力碾压——它做出l非常优雅的逻辑推理。并且，这个证明现在已经通过了Lean 4的形式化验证。 摘不
Anthropic生命科学重磅成果！Claude自主发现新酶系统，学者炸锅了
智东西9月24日报道，今日凌晨，Anthropic宣布，Claude发现了隐藏在噬菌体DNA中的一种以前未知的酶系统。这种酶的基因旁边有一长串重复的DNA，这种结构与CRISPR系统有些相似，而CRISPR系统是基因药物的基石。 ▲Anthropic官宣成果据研究团队介绍，他们仅向Claude提供初始提示，并负责后续实验室工作。Claude智能体则负责梳理海量DNA序列数据库、调查不同逆转录酶（R
Anthropic揭示由Claude模型发现的新酶系统
自然界中发现的酶系统带来了生物学的一些重大突破，从生物技术产业到许多测试背后的DNA复制方法。
OpenAI称已攻克数学‘千禧年难题’之一
突发消息：OpenAI表示已攻克数学领域最大的未解难题之一，这是人工智能将如何改变该领域的又一显著标志。 该公司的这一声明是迄今为止最引人注目的迹象，表明人工智能正在从根本上改变高等数学领域。
#观察 有什么可以“叫唤”的？
AI在所有科学和数学领域都将远远超越人类科学家，这是必然。适应一下。
数学家们发表了可机器校验的证明。OpenAI在与记者的通话中宣布了其结果。
OpenAI表示，其一个内部模型利用约10,000个智能体在88小时内证明了3D纳维-斯托克斯方程可以在有限时间内发展出奇点。 该公司在一次新闻发布会上描述了这一结果，但尚未公布证明过程。 致力于相关问题的Tristan Buckmaster和Levent Alpoge发表了带有Lean形式化验证的预印本，任何人都可以对其进行机器校验。[…]