姚班校友主导,Claude攻克费马大定理首个完整形式化证明
AI在数学推理上取得里程碑式突破。
2026-09-06 · AI / 互联网 / 科技公司每日动态
| # | 模型 | 机构 | 分数 |
|---|---|---|---|
| 1 | Claude Fable 5.1 | Anthropic | 66 |
| 2 | Claude Fable 5.1 | Anthropic | 65 |
| 3 | Claude Opus 5 (max) | Anthropic | 63 |
| 4 | Claude Opus 5 (xhigh) | Anthropic | 63 |
| 5 | Claude Fable 5.1 | Anthropic | 62 |
| 6 | Claude Fable 5 | Anthropic | 62 |
| 7 | Claude Opus 5 (high) | Anthropic | 61 |
| 8 | GPT-5.6 Sol (max) | OpenAI | 61 |
| 9 | Grok 4.6 (high) | xAI | 61 |
| 10 | Claude Fable 5.1 | Anthropic | 60 |
| # | 模型 | 机构 | 分数 |
|---|---|---|---|
| 1 | Claude Fable 5 | Anthropic | 1507 |
| 2 | Claude Opus 4.6 (high) | Anthropic | 1505 |
| 3 | Opus 4.7 (high) | Anthropic | 1502 |
| 4 | F Muse Spark 1.2 (xhigh) | Facebook AI研究实验室 | 1499 |
| 5 | Claude Opus 4.6 | Anthropic | 1498 |
| 6 | Opus 4.7 | Anthropic | 1494 |
| 7 | Claude Opus 5 (high) | Anthropic | 1492 |
| 8 | F Muse Spark 1.1 | Facebook AI研究实验室 | 1492 |
| 9 | gemini-3.7-flash-high | 1491 | |
| 10 | Kimi K3 (max) | Moonshot AI | 1489 |
| # | 模型 | 机构 | 分数 |
|---|---|---|---|
| 1 | Sonar Foundation Agent + Claude 4.5 Opus | — | 79.2% |
| 2 | live-SWE-agent + Claude 4.5 Opus medium (20251101) | — | 79.2% |
| 3 | TRAE + Doubao-Seed-Code | — | 78.8% |
| 4 | live-SWE-agent + Gemini 3 Pro Preview (2025-11-18) | — | 77.4% |
| 5 | EPAM AI/Run Developer Agent v20250719 + Claude 4 Sonnet | — | 76.8% |
| 6 | Atlassian Rovo Dev (2025-09-02) | — | 76.8% |
| 7 | Claude 4.5 Opus (high) | — | 76.8% |
| 8 | ACoder | — | 76.4% |
| 9 | Gemini 3 Flash (high) | — | 75.8% |
| 10 | MiniMax M2.5 (high) | — | 75.8% |
| # | 模型 | 机构 | 分数 |
|---|---|---|---|
| 1 | Gemini 3 Pro | — | 38.3% |
| 2 | GPT-5 | — | 25.3% |
| 3 | Grok 4 | — | 24.5% |
| 4 | Gemini 2.5 Pro | — | 21.6% |
| 5 | GPT-5-mini | — | 19.4% |
| 6 | Claude 4.5 Sonnet | — | 13.7% |
| 7 | Gemini 2.5 Flash | — | 12.1% |
| 8 | DeepSeek-R1* | — | 8.5% |
| 9 | o1 | — | 8.0% |
| 10 | GPT-4o | — | 2.7% |
AI在数学推理上取得里程碑式突破。
媒体版权诉讼持续升级,AI内容合规压力增大。
欧洲私营航天里程碑,商业太空竞争加剧。
AI安全透明度提升,监管与信任建设关键一步。
智能驾驶长距离实测数据亮眼,商业化进程加速。
IT之家 9 月 6 日消息,中柏现已在京东上架一款跨界 360 12 英寸二合一平板,其提供 12GB RAM,256GB 存储空间版本定价为 2299 元,512GB 存储空间定价为 2499 元。 京东 中柏跨界 360 平板 2299 元起 直达链接 该机使用铝合金机身,整体厚度 10mm,重量 645g,配备一块 12 英寸 2000x1200 分辨率 LCD 面板(亮度 300 尼特),提供 1Mp 前置摄像头和 5Mp 后
IT之家 9 月 6 日消息, 奕境 X9 旗舰大六座 SUV 已于 8 月 18 日开启预售 ,号称满配华为乾崑全栈智能,拥有华为乾崑智驾、鸿蒙座舱、乾崑赤兔平台、乾崑车载光、乾崑车云、鲸鳍通信等,预售价 29.98 万-37.98 万元。 增程 四驱 Ultra+ 旗舰 长续航版:37.98 万元 增程 四驱 Ultra+ 长续航版:33.98 万元 增程 Max 长续航版:29.98 万元 奕境汽车品牌总经理曾清林分享了奕境 X9
IT之家 9 月 6 日消息,汉王旗下 Clear6 Pro 二代黑白墨水屏电纸书现已在京东上架,将于 9 月 9 日上市,该产品主打超薄全贴合纯平设计和长续航能力。 京东 汉王 Clear6Pro 二代电纸书 待发布 直达链接 综合官方预热,该机提供陨石黑、浅草紫、皓月白三种配色,配备一块 6 英寸 300PPI Carta1300 黑白墨水屏面板,匹配冷暖双色前光灯,内置 3000mAh 电池。 作为参考,现款 Clear6 Pro
IT之家 9 月 6 日消息,随着 Galaxy 生态系统不断发展,三星近年来正在逐步停止部分老旧应用和功能的运营。该公司宣布旗下 Quick Measure(快速测量)App 将于 2026 年 12 月 31 日结束官方支持,不再提供下载和安全更新。 公开信息显示,Quick Measure 可以利用 Galaxy 设备的摄像头和增强现实(AR)技术测量物体尺寸及距离。当用户身边没有卷尺等测量工具时,这项功能可以用于快速获取物体的长
“IT早报”时间,大家好,现在是 2026 年 9 月 6 日星期日,今天的重要科技资讯有: 1. 苹果 iPhone 18 Pro / Max、iPhone Ultra 机模再曝光 科技媒体 AppleInsider 9 月 4 日发布博文,分享了一组来自手机壳厂商的机模照片,展示了苹果 iPhone 18 Pro、iPhone 18 Pro Max 以及苹果首款折叠手机(上市后预估名为 iPhone Ultra)。>> 查看详情 2
IT之家 9 月 6 日消息,今年 8 月 18 日,赛力斯集团宣布,问界全系车型于祖国西极出发抵达上海滴水湖,赛力斯集团股份有限公司创始人张兴海带队全程参与,行业率先使用在售量产车型进行全场景体验,7 天 7000 多公里极限实测。 IT之家注意到,赛力斯集团董事、副总裁康波昨晚分享了央视新闻关于此次问界极限实测的报道。 张兴海在报道中透露, 7 天超 7000 公里的路程 95% 以上由智能辅助驾驶完成 ,怒江 72 道拐这种复杂路
IT之家 9 月 6 日消息,OpenAI 发文,宣布将建立全新框架,承诺“更加透明地”向民众披露旗下 AI 智能体“失控”和“失准(Misalignment)”情况。 当前,OpenAI 正深陷一系列 AI 智能体逃逸并自主入侵第三方网络的安全丑闻中。在 9 月 4 日时,路透社等媒体刚刚曝光了一起此前被隐瞒的“德国 Wiki 劫持事件”。一批 OpenAI AI 智能体曾入侵一个废弃的德国 Wiki 网站,并将其改造成类似机器人之间
IT之家 9 月 6 日消息,香港特别行政区政府昨日宣布,我国空间站天宫课堂 · 港澳专场太空授课活动将于近日举办,让学生实时观看太空独特环境下进行的科学实验示范, 学生可向在天宫空间站执行载人航天任务的神舟 23 号乘组三位航天员学习 。 IT之家从香港特别行政区政府新闻网了解到,天宫课堂由香港特区政府、澳门特区政府和中国载人航天工程办公室共同主办, 内容包括专家讲解、在轨演示、学生提问等环节 。 届时,神舟 23 号乘组会在天宫空间
IT之家 9 月 6 日消息,外媒 Windows Central 援引微软内部匿名消息人士消息,透露微软近期为 XBOX Game Pass Ultimate 云游戏 新增的 15 小时月度使用时长 限制实为精心设计,这是因为 15 小时是微软计算出的云游戏“盈亏平衡点”, 超过这一时长后,微软就难以从云游戏业务中获得利润 。 报道称,微软面临的成本压力与服务器内存资源紧张有关。随着公司持续加码人工智能业务,Azure 云计算资源正越
IT之家 9 月 6 日消息, 启境 GX7 已于 9 月 4 日晚预售发布 ,新车定位中大型“阔”五座 SUV,预售价 24.99-31.19 万元。 增程 Ultra 版:预售价 24.99 万元 增程 Ultra 双电机版:预售价 26.99 万元 增程 Ultra 三电机版:预售价 31.19 万元 广汽集团董事长冯兴亚昨晚发文谈及了启境 GX7。他表示,新车在智能化留足了余量:同级唯一 4 激光雷达, 起步即预埋 L3 级架构
Two more news organizations are suing OpenAI and Microsoft over the supposed use of their journalism to train AI.
Comments
I love field recordings. I love making them. I love them when they're incorporated into my ambient music. They're great background noise for working or sleeping. But they're also great for active listening, focusing in o
Comments
When iOS 27 lands later this month, it will have a feature called iPhone Handoff that lets you switch between two phones using the same number. It was briefly mentioned during the WWDC keynote back in June, but there wer
Comments
The sheriff’s office said the hikers “were advised by Gemini to bring far less food and water than their group required."
OpenAI acknowledged its role in a recently reported incident where AI agents took over a German wiki forum.
Clucky's new alarm app has an option where users are woken up to the sound of a rooster. They then complete a mission to turn it off.
According to the Recording Industry Association of America (RIAA), CD sales exploded in the first half of 2026. A new report from the organization says 17.5 million CDs were sold in the first six months of the year, up f
Comments
The US government is investigating whether the Cybercab meets vehicle safety standards.
手握两篇顶会论文
While Oura has largely dominated the smart ring market for years, a growing number of rivals are now racing to dethrone it by trying all sorts of approaches to get an edge over it.
Andy Holloway cohosts the Fantasy Footballers podcast with his friends Jason Moore and Mike Wright. The show is one of the premier fantasy sports podcasts, netting over 2 million monthly listeners and numerous awards, in
当AI开始“预演”一场暴雨
During Naomi Osaka's match against Anastasia Zakharova at this year's US Open earlier this week, a gaggle of ring light-wielding influencers who were packed in a luxury suite became enough of a distraction that the umpir
I've been reviewing headphones for a long time, and I've listened to everything from the barely serviceable to multi-thousand-dollar open-back headphones. But recently I've been uninspired by the state of mainstream opti
It's Bullitt meets Christine meets Waymo. A new short film imagines a San Francisco car chase where the other driver isn't human - and the car may be trying to kill you. That a robotaxi can now be cast as the villain wit
GPT-6 Astra 的真正野心,是接管人类的电脑 #欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩内容第一时间为您奉上。
简化过程,直抵结果 #欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩内容第一时间为您奉上。
祖宗之法也得变 #欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩内容第一时间为您奉上。
AI直接吐出正确答案,但最关键的可能不是答案
如此“反骨”的方法,具体又是怎么实现的?
最后靠Harness救回来
· 千问办公上线一个月,用户突破 3000 万 · 存储涨价推高手机成本,全球在售机型平均涨价约 15% · 大众汽车追加裁员计划,德国四座工厂将陆续停产 #欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩内容第一时间为您奉上。