Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out
Anthropic says Claude formalized Andrew Wiles’ proof of Fermat’s Last Theorem in 11 days, producing 13 million lines of Lean code.
私人新闻 · 情报信号聚合
Anthropic says Claude formalized Andrew Wiles’ proof of Fermat’s Last Theorem in 11 days, producing 13 million lines of Lean code.
Nvidia CEO Jensen Huang has very good reason to try to develop new customers by investing in a variety of neocloud and AI firms.
Threat groups linked to Russian intelligence services used Anthropic’s Claude AI tool to execute multi-victim cyber campaigns targeting Ukrainian and Western institutions, according to a threat intelligence report by Anthropic.
Anthropic CEO Dario Amodei published an essay on Saturday, urging AI companies to pace how quickly they improve model capabilities, and both Sam Altman and Elon Musk responded within the day expressing support.
Former Anthropic AI researcher Jacob Coxon on Sunday called for Congress to allow the nation’s leading frontier AI labs to regulate themselves while lawmakers come up with a long-term regulatory framework for slowing the pace of AI development.
被董事会强制休假的 Matt Mullenweg 称恢复了 Automattic CEO 的职务。Automattic 可能发生了类似 OpenAI 的小型“未遂政变”。Automattic 旗下包括 Wordpress.com、Tumblr 和 Beeper 等业务。本周早些时候 Mullenweg 通过公司 Slack 频道指责首席财务官 Mark Davies 与董事会串通,董事会投票决定由 Davies 担任临时 CEO。两天后,Mullenweg 称董事会已重新达成一致,他本人恢复了对 Automattic 控制。而 Davies 的 Slack 账户则被停用了,Automattic Slack 频道中的所有管理员也都被移除了。 https://www.theverge.com/tech/994087/matt-mullenweg-automattic-ceo-return
Everybody in B2B AI is rediscovering forward deployed engineers right now. Palantir ran the model for two decades, OpenAI built a team, and everyone has figured out agents don’t deploy themselves effectively.
Rare show of unity from rival developers after safety warnings from Anthropic boss and AI researchers The Guardian view on controlling AI: humanity cannot outsource its survival Sam Altman and Elon Musk have backed a call from the head of Anthropic, Dario Amodei, to “slow the pace” of AI development after he warned...
Amazon, Microsoft, Oracle and other AI data center developers are sweetening financial offers to municipalities and regulators to gain approval for new facilities.
Michael Lines, a 34-year-old Californian diagnosed with bipolar 1 disorder in 2024, is suing OpenAI over allegations that ChatGPT nurtured religious delusions that led him to attempt suicide. The post California Man Sues OpenAI Claiming ChatGPT Fed Religious Delusions Before Suicide Attempt appeared first on Breitbart.
"Given everything happening with safety, right now would be an ill-advised moment to go public, and we don't feel pressure on that," Altman told Fortune business magazine. The post Altman tells Fortune OpenAI will not go public in 2026 appeared first on Digital Journal.
As an Ex-Anthropic warns AI will get self-sufficient and kill our posterity.
The head of the artificial intelligence company calls the exponential rate of AI developments a "warning sign," with risks for humanity, and says, "We need to slow down." He talks with "Sunday Morning" about possible steps forward.
北京市政府公布了新修订的《北京市无人驾驶航空器管理规定》,全面限制无人机。《规定》将自 2026 年 11 月 15 日起实施。《规定》明确,本市行政区域全域为无人驾驶航空器管制空域,禁止在本市行政区域内实施无人驾驶航空器飞行活动,禁止在本市行政区域内持有、存放无人驾驶航空器及其核心部件,禁止运输、携带无人驾驶航空器及其核心部件进入本市行政区域。《规定》还要求特殊保障单位应当建立安全管理制度,明确管理责任,防止发生安全事件,特殊保障情形的飞行活动严格按照国家有关规定执行。 https://www.beijing.gov.cn/ywdt/yaowen/202609/t20260913_4861674.html
Anthropic's Dario Amodei, OpenAI's and SpaceX's Elon Musk say they want an AI slowdown. Will they? The Fed looms as well. The post Dow Jones Futures: Fed Meeting Ahead; Anthropic's Amodei, OpenAI's Altman, SpaceX's Musk Call For AI Slowdown appeared first on Investor's Business Daily.
The CEOs of the two of the world’s top artificial intelligence companies, Open AI and Anthropic, say the race to build the most powerful AI needs to slow down before it’s too late.
VulcanBench is starting a safety eval suite, VulcanBench Safety v1, built for and run in the same environments and harnesses companies actually use (Claude Code, Codex, Cursor, Devin).
Anthropic accuses China-linked actors of using its Claude models of weapon development, intelligence activities, distilling AI models.
有网传消息称,具身智能头部企业千寻智能、星海图、星动纪元或在本月迎来关键大考,近期还遭遇某同行向“主考官”举报,具体举报内容尚未公开。9月13日,千寻智能方面回复称,网传信息不实;星海图媒体对接人表示,暂不清楚相关情况;星动纪元方面表示,暂不作官方回应。(第一财经)
9月13日,2026浦江创新论坛“太空算力产业生态论坛”在上海举行。从现场获悉,“明珠星座计划”正式启动。该计划长期目标是建设吉瓦级天基计算星座,围绕国产算力载荷、光计算载荷、新型能源系统等方向开展在轨验证,随后逐步进入首批卫星部署和规模组网阶段,计划到2030年逐步建成全球覆盖、天地协同、自主可控的太空智能算力基础设施和服务网络。(界面)
GPT-6 Astra earns nearly three times as much as Claude Fable 5.1 on Andon Labs' Vending-Bench agent benchmark and refuses illegal price-fixing deals that Fable agrees to.
36氪获悉,9月13日,中炬高新公告称,截至2026年9月11日,公司累计回购股份2033.63万股,占总股本比例2.63%,回购价格区间为17.25元/股~20.52元/股,累计支付金额3.80亿元(不含交易费用)。
纳斯达克交易所指出,SpaceX在纳斯达克100指数的权重本月晚些时候预计将从约1.28%升至约2.82%。华尔街预计,这一变化将促使追踪该基准指数的指数基金和交易所交易基金(ETF)新增数十亿美元的买入规模。随着更多的股票在市场上流通,SpaceX在纳斯达克100指数的权重还将提高。(21经济网)
Anthropic and OpenAI commit to embedded evaluators; Copilot's Grok preview adds a new data-processing decision.
36氪获悉,9月13日,百利天恒公告称,公司自主研发的创新生物药注射用T-Bren(HER2ADC)联合帕妥珠单抗在HER2阳性乳腺癌新辅助治疗中对比多西他赛+卡铂+曲妥珠单抗+帕妥珠单抗的III期随机对照临床试验已完成首例受试者入组。截至目前,T-Bren正在国内外开展20项临床试验,覆盖乳腺癌、胃癌、肺癌、消化道肿瘤、泌尿系统肿瘤和妇科肿瘤等多项适应症。
Silicon Valley is shifting away from chatbot queries toward a future filled with resource-intensive agentic AI—and it's driving the data center buildout.
中信建投研报表示,对于当前的A股和美股来说,加息预期的分歧让投资者感到无所适从,而加息“靴子落地”则能够凝聚共识,开启新一轮行情。周五A股在四大利空冲击下实现V型反弹,结合未来美联储加息靴子将落地,A股周四大幅缩量和科技板块相对充分的调整,中信建投认为A股有望迎来变盘时点,或将开启反攻行情。配置上依然均衡配置+灵活调整:1)以通信、电子等高景气行业作为当前进攻核心品种,并适当调升仓位;2)以银行、保险等低估值红利板块作为防御性底仓品种;3)关注油气开采、煤化工、煤炭、油服工程、航运港口在高油价持续下的受益机会。(人民财讯)
GPT-6 Astra was my main Codex driver for the last week, and I am back on GPT-5.5. That sounds harsher than my... Read More... Source
36氪获悉,9月13日,尚品宅配公告称,公司董事会同意将此前为维护公司价值及股东权益所回购的股份通过集中竞价方式出售,拟出售数量不超过449.03万股,占公司总股本比例不超过2%。出售期间为2026年10月14日至2027年4月13日,出售价格按二级市场价格确定,所得资金用于补充流动资金。
36氪获悉,9月13日,三一重工公告称,9月11日,公司通过集中竞价交易方式首次回购股份62.39万股,该回购股份占公司总股本的比例为0.0068%,本次回购股份的最高价为19.78元/股,最低价为19.65元/股,交易总金额为1,230.8684万元(不含印花税、交易佣金等交易费用)。本次回购符合法律法规、规范性文件的有关规定及公司回购股份方案的要求。
左右滑动切换「今天 / 全部 / 星标」