Anthropic - 5iter.com

📅 09-06

摘要：Claude在黎曼猜想（Riemann Hypothesis）上的相关证明，已被人类数学家彻底验证。这次，数学家Youness Lamzouri宣布Claude的证明结果确凿无误，而且给出了一个更简洁更优雅更强的新证明。论文：htt

OpenAI Anthropic Claude 物理学数学 BERT 量子力学热带雨林

📅 09-06

摘要：原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是，我们注意到了

OpenAI Anthropic Google Claude GPT 数学 Transformer 思维链

📅 09-05

摘要：据路透社报道，知情人士周五称，Anthropic预计最早将于10月中旬开始推介其首次公开招股(IPO)，并在11月美国中期选举前几天完成上市。两位知情人士表示，Anthropic原本预计最早将于下周公开其IPO招股说明书，这是启动此次

OpenAI Anthropic 马斯克 SpaceX 埃隆·马斯克

📅 09-05

摘要：据知情人士透露，美国与中国正在为一场计划于9月中旬举行的人工智能安全对话做准备。在全球前沿人工智能能力快速突破、相关风险日益受到关注的背景下，双方希望就人工智能安全问题展开深入交流。如果如期举行，这将是美国总统特朗普开启第二任期以来

人工智能 OpenAI Anthropic 半导体网络安全开源智能体月之暗面

📅 09-04

摘要：据《商业内幕》报道，Meta CEO马克·扎克伯格(Mark Zuckerberg)上个月在一次此前未被报道的电话中，向美国总统特朗普表达了对建立全国性AI监管机构计划的担忧。此举标志着这位全球顶尖科技企业高管参与到了一场充满争议的白

OpenAI Anthropic Meta 网络安全谷歌马克·扎克伯格扎克伯格德米斯·哈萨比斯

📅 09-04

摘要：万众期待的GPT-6 Astra和GPT-6 Astra Pro正式发布！GPT-6 Astra是世界上最智能、最协调的模型，为Computer use、Browser Use、软件工程、网络安全、科学和专业工作树立了新的标杆。 AG

OpenAI Anthropic ChatGPT Claude GPT GPT-5.6 Claude Opus GPT-5.4

📅 09-04

摘要：知情人士透露，Anthropic PBC接近敲定将其循环信贷额度扩大至150亿美元，为这家人工智能（AI）公司在公开提交备受瞩目的IPO文件之前扫清了一道障碍。摩根士丹利将负责牵头，高盛、摩根大通和花旗也将在信贷安排中担任重要角色。媒

人工智能 Anthropic 机器人 SpaceX Claude 聊天机器人

📅 09-04

摘要：Astra发布前几个小时，AI圈先乱成了一团。9月3日晚间，ChatGPT、Claude和Grok几乎同时出现大范围服务异常，大量用户不是打不开模型，就是请求失败。恰在此时，ChatGPT官方账号在仰望星空：“The stars ar

OpenAI Anthropic ChatGPT Claude GPT Agent GPT-5.6 Amazon

📅 09-04

摘要：据报道，Meta首席执行官马克・扎克伯格在上月与美国总统特朗普的一次此前未被公开的通话中，对设立全国性人工智能监管机构的相关计划表达了担忧。这标志着全球顶尖科技高管之一已介入这场白宫内部分歧重重的政策辩论。该提案由诺贝尔奖得主、谷歌

人工智能 OpenAI Anthropic Meta 网络安全谷歌扎克伯格

📅 09-03

摘要：据Downdetector上的用户报告以及各公司状态页面显示，多家AI公司正遭遇服务中断。OpenAI表示，其ChatGPT和Codex目前正出现问题。 Anthropic表示正在调查Claude出现的错误，并致力于修复。SpaceX

OpenAI Anthropic ChatGPT SpaceX Claude GPT Codex Grok

📅 09-03

摘要：9月2日，OpenAI首席科学家雅库布・帕乔基（Jakub Pachocki）在社交平台发文，就近日围绕新模型Astra“不可监控”的争议作出回应。这场争议源于此前一天，有消息称OpenAI即将发布的Astra模型采用了一种名为循环深

OpenAI Anthropic Google GPT 数学 Transformer 推理模型思维链

📅 09-03

摘要：美国政府近日向法院提交意见，支持人工智能公司在未经许可的情况下使用受版权保护的内容训练大型语言模型。文件认为，如果美国企业因版权规则面临更高的数据获取成本，可能会在人工智能竞争中落后于不受同等约束的外国竞争者，并对国家安全造成影响。

人工智能 OpenAI Anthropic Google