搜索结果
被雇用手动证明费马大定理的人称，Claude在11天内完成了证明
一位数学家持有为期五年的资助，用于形式化费马大定理。而这一工作已在十一天内为他完成，他表示这一结果对数学本身毫无启示。Anthropic于周五发布了该证明。 数十个Claude代理编写了1300万行Lean代码，并证明了30,300个中间定理。他们使用了29,500个……
Claude黎曼猜想最大突破 已被人类数学家验证
Claude在黎曼猜想（Riemann Hypothesis）上的相关证明，已被人类数学家彻底验证。这次，数学家Youness Lamzouri宣布Claude的证明结果确凿无误，而且给出了一个更简洁更优雅更强的新证明。 论f/2609.02882回到上个月，超过2/3的zeta零点被确认位于临界线上且为单零点！ 这个数字直接打破了黎曼猜想证明的记录——此前主流界限停留在41.6%左右，过去37年
数学家们发表了可机器校验的证明。OpenAI在与记者的通话中宣布了其结果。
OpenAI表示，其一个内部模型利用约10,000个智能体在88小时内证明了3D纳维-斯托克斯方程可以在有限时间内发展出奇点。 该公司在一次新闻发布会上描述了这一结果，但尚未公布证明过程。 致力于相关问题的Tristan Buckmaster和Levent Alpoge发表了带有Lean形式化验证的预印本，任何人都可以对其进行机器校验。[…]
RSA-896在Claude帮助下已被破解
2026年9月19日，Anthropic工程师Stephen A. Weis在Claude的协助下，公布了RSA-896的质因数分解结果——这是一个源自RSA安全公司历史性“RSA因数分解挑战赛”的半素数，包含270位十进制数字，并由两个448位素数乘积而来。 这一成果将整数分解的公开纪录从862位提升至896位，且距离上一项纪录被打破仅过去了十六天。 这是短短两周内连续取得的第二个AI辅助密码分
Anthropic的生物实验室取得了一项可与Crispr相媲美的发现
Anthropic表示，其AI Claude“自主发现”了一种新的酶系统，类似于强大基因编辑工具Crispr背后的机制。这是Anthropic新启动的湿实验室的首个成果，也是对公司上市前Claude在科学领域实用性的早期测试。 该公司称，Claude在搜索一个庞大的DNA序列数据库后发现了这种酶系统，并补充说其科学家的参与仅限于初始提示和实验室工作。 Anthropic表示，在21小时内，近950
Claude刷新物理学世界纪录！单挑基于杨振宁理论9圈难题
就在刚刚，Anthropic官宣，Claude拿下了理论物理的一项前沿纪录。 它在几乎无人类干预的情况下，连续运行数天，一举攻克了高能物理学界出了名难算的「九圈散射振幅」计算难题！ 具体来说，它算出了平面N=4超杨-米尔斯理论里六粒子振幅的九圈结果，人类此前的纪录停在八圈。 注意，杨-米尔斯模型（Yang-Mills）其中的「杨」，指的正是物理学泰斗杨振宁先生。 他与米尔斯在1954年共同创立的「
黑客正在窃取订阅者的 Claude 令牌
8月4日，英国东萨塞克斯郡的独立人工智能顾问格兰特·德·斯瓦特（Grant de Swardt）发现他的 Claude Max 20x 账户出现了一些异常情况。他那天并没有工作，但他的令牌使用量却在不断攀升。 第二天，他禁用了所有附加到 Claude 上的内容，也没有使用它，但令牌消耗量再次增加。德·斯瓦特对 TechCrunch 表示：“在最清晰的受控间隔内，在我没有进行任何工作、预定的协作任务
三名研究人员利用Claude访问到了OpenAI的内部代码。OpenAI支付了6500美元，并在14小时内修补了漏洞。
Hacktron AI的三名研究人员利用Anthropic的Claude模型，在不到72小时内串联起两个漏洞，成功访问了OpenAI员工账户及一个内部代码库。他们进行了私下披露，OpenAI在约14小时内修复了单点登录漏洞，并向该团队支付了6500美元的奖金。这两个漏洞均非人工智能漏洞，而引用该事件的研究论文作者表示，他们已不再确信该行业正处于正轨之上。 Hacktron AI的安全研究人员利用A
韦神主攻的千禧年难题 被Claude攻破了？
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是，丘成桐先生悬赏 10 万元，征集对佩雷尔曼的庞加莱猜想证明的形式化验证！ 庞加莱猜想是拓扑学中一个关于三维空间形状的著名数学定理，指出如果在一个封闭的三维空间里，每条封闭的曲线都
三人团队、一个Claude，攻破OpenAI内部代码库
月17日，一起由AI辅助完成的网络安全事件被披露。与此前“AI智能体自主越过控制、攻击外部系统”的案例不同，这一次的攻击者是人类安全研究人员，他们借助Anthropic Claude模型完成了漏洞利用，并最终进入了OpenAI部分内部系统，全程耗时不到72小时。 这起事件发生于今年7月，发现者是网络安全初创公司Hacktron AI。研究人员当时正在参加OpenAI的漏洞赏金计划，因此整个过程属于
英劳工每6人就有1人自费买AI工具 每年支出约428亿
（中央社伦敦16日综合外电报导）根据国际会计师事务所德勤（Deloitte）今天发布的研究，英国每6名劳工就有1人自费购买AI工具协助处理工作，每年总支出近10亿英镑（约新台币428亿元）。 报导，根据首份「生成式AI职场调查」（GenAI Workforce Survey），有2/3劳工曾尝试使用ChatGPT、Claude、Google Gemini与Microsoft Copilot等AI工