Readhub
英国数学家安德鲁・怀尔斯 1995 年完成的费马大定理证明，近日由 Anthropic 公司的 AI 模型 Claude 自主运行 11 天后完成形式化验证，生成超 1300 万行代码并验证 3 万余个定理。该项目采用多智能体协作及有向无环图技术管理定理依赖，人类仅提供高层次指导，全程消耗约 60 亿输出 Token，使用 Claude Fable 5.1 级别的内部模型。Lean 证明助手凭借严格验证机制参与其中，且仅用 3 条标准公理确保证明纯粹性。数学形式化专家认为这是 AI 辅助数学研究的重大突破，过去需数学家数年完成的复杂证明形式化工作被 AI 大幅加速。完整证明代码已在 GitHub 公开，Anthropic 表示未来为传统证明同步提供形式化版本或成行业标准，可降低新理论验证的人工成本。
查看话题重庆市发改委近日印发《重庆市鼓励外商投资企业境内再投资若干措施》，按内外资一致原则从引导外资投向、便利投资经营、提升保障水平三方面提出 16 条举措，鼓励外资参与当地「33618」现代制造业集群建设，重点投向智能网联新能源汽车等产业，落实制造业领域外资准入限制全面清零，符合条件的再投资制造业项目同等享受市级重点产业项目要素保障与扶持政策。
相关话题2025-11-02
重庆与京津冀签约 18 个项目 总投资额达 239.5 亿元2025-07-16
重庆：鼓励智能座舱、电驱等领域头部企业加快投资并购和兼并重组2024-09-24
重庆出台「20 条」支持创业投资岚图梦想家 9 开启预售，预售价 42.99 万至 52.99 万，含插混、纯电共五个配置，至高享 5 万元购车权益，展车已陆续到店。该车基于全系全域 L3 级架构打造，搭载华为乾崑智驾 ADS 5 与鸿蒙座舱 HarmonySpace 6，智驾硬件覆盖全车，座舱算力达千亿级，交互能力提升。外观采用纯正中式美学，配备可升降发光立标、HUAWEI XPIXEL 双百万像素全彩智慧大灯及一体化车语系统，营造尊崇仪式感。座舱以「天地入怀」为设计理念，「一舱八境」可实现多场景切换，内饰采用北欧枫木饰板，前排配双 15.6 英寸华为车载智慧屏，二三排有自适应调光玻璃，二排礼宾座椅功能丰富，全车座椅标配通风、加热与按摩，还配备智能冷暖箱、巨幕吸顶屏。底盘采用虎踞底盘 P，搭配三腔空气弹簧、双阀 EDC 可变阻尼减振器、VMC 智能域控架构及双向 10° 后轮转向系统，悬架为前双叉臂、后五连杆组合，配智能电动四驱，兼顾舒适性与操控性。
相关话题2026-09-04
岚图梦想家 9 预售发布会取消：9 月 5 日直接预售，全球首款升降立标 MPV2026-09-01
岚图梦想家 9 定档 9 月 5 日预售，搭 800V 平台等配置2026-08-29
全球首款升降立标 MPV，岚图梦想家 9 预热2026-07-24
岚图追光 S 预售发布 1 小时订单突破 10347 台，顶配 30.99 万元2026-07-10
岚图梦想家 9 新车申报：提供纯电 / 插混版本，定位 50 万级旗舰 MPV2026-07-08
岚图高端 MPV「梦想家 9」定名，锚定 50 万级市场2026-05-06
岚图泰山 X8 定档 5 月 22 日：首搭华为四激光雷达，预售订单破 4 万2026-04-28
岚图泰山 X8 30.29 万元起预售，深度整合华为智能生态2026-04-22
岚图汽车大型 SUV「泰山 X8」开启预售，30.29 万元起第 32 次亚太经合组织（APEC）中小企业部长会议 4 日在广州举行，发布《第 32 次亚太经合组织（APEC）中小企业部长会议主席声明》和《中小企业创新和韧性发展主席倡议（广州倡议）》。该会议是 APEC 促进包容性增长等的重要平台，本次以「创新驱动 合作共赢」为主题，各经济体围绕三项议题展开讨论，进一步深化了关于中小企业发展的四方面认识。
相关话题2026-09-03
工业和信息化部等十部门印发《促进中小企业发展「十五五」规划》2026-08-05
《「十五五」促进中小企业发展规划》即将发布2026-07-23
APEC 数字和人工智能部长会议通过成都声明2026-06-18
促进平台经济大中小企业协同发展 七部门联合发布行动方案2026-04-04
15 部门启动「一起益企」中小企业服务行动2025-09-26
工信部：拟自 2025 年起常态化开展大企业「发榜」中小企业「揭榜」工作2025-05-30
江苏：14 条举措支持专精特新企业发展2025-01-14
工业和信息化部召开第八次中小企业圆桌会议2023-07-07
工业和信息化部召开专精特新中小企业圆桌会议SpaceXAI 将旗下 AI 代理系统 Grok Bot 扩展至 iPad 和 Android 平台，同时大幅下调使用门槛，原月费 300 美元，现可兼容月费 20 美元的 Cursor Pro 套餐。iPad 版本上线同步增加企业支持功能，Grok 和 Cursor 的企业客户未来几周可免费使用。此外，SpaceXAI 近期收购了 Cursor，此举被视为其追赶 AI 行业步伐的重要动作。
小米正式发布 Xiaomi-TabLDM 通用表格数据基础大模型，该模型以单一预训练模型、统一默认配置直接适配不同表格数据集，无需针对每个任务重新训练、调参或后置集成，即可完成分类与回归预测。
相关话题2026-08-22
小米官方「龙虾」Xiaomi miclaw 将于 9 月 21 日结束封测2026-08-06
小米具身基座模型 Xiaomi-Robotics-1 正式开源2026-07-16
小米发布机器人基座模型 Xiaomi-Robotics-12026-06-18
小米正式发布「全屋智能 AI 开源方案」Xiaomi Miloco 2.02026-04-28
小米宣布 MiMo-V2.5 系列正式开源：支持商用与二次训练 无需额外授权2026-04-24
高盛：小米新模型发布巩固其顶尖基础模型开发商地位，维持「买入」评级2026-04-21
小米 miclaw 龙虾宣布开启 PC、Mac 和有屏音箱版小范围封测中广核山东招远核电项目 2 号机组启动核岛第一罐混凝土浇筑，标志着该机组主体工程正式开工，项目一期工程进入全面建设阶段。该机组浇筑混凝土总量约 8800 立方米，分 7 个点连续浇筑一次成型，预计用时约 60 小时。项目 1 号机组已于 2025 年 11 月 18 日主体工程开工。
相关话题2026-05-27
中广核云南保山隆阳区 540 兆瓦光伏项目群全面开工建设2026-01-27
中广核在运装机突破 1.1 亿千瓦2025-11-19
浙江三澳核电 3 号机组主体工程正式开工2025-05-24
我国将再添两台「华龙一号」核电机组苹果未来可能推出的 iPhone 18 Pro、iPhone 18 Pro Max 及首款折叠屏机型 iPhone Ultra 的外观设计细节曝光。其中 iPhone 18 Pro 与 Pro Max 机身尺寸、摄像头凸起高度与前代 iPhone 17 Pro 系列近乎一致，侧面按键布局延续现有设计。iPhone Ultra 采用横向折叠结构，配备可多角度悬停的活动铰链，机身右侧顶部设音量键，边框中部集成相机控制键与电源键，背部为双摄模组加 True Tone 闪光灯、LiDAR 激光雷达传感器开孔，展开状态下左下方是 USB-C 充电接口，对角位置设两个立体声扬声器。
相关话题2026-09-02
iPhone Ultra 折叠屏与 iPhone 18 Pro Max 机模曝光2026-07-21
消息称苹果打样 7 英寸超大屏，可能用于 iPhone 20 Pro Max2026-07-21
苹果 iOS 27 代码曝首款折叠屏 iPhone Ultra 双电芯设计2026-06-24
消息称苹果将于 7 月下旬量产首款可折叠 iPhone2026-06-16
16 款苹果设备将停止更新，首款折叠屏 iPhone 或推迟上市2026-06-08
苹果折叠屏 iPhone Fold 机模高清细节图曝光，或仅推出白色版本9 月 3 日，全美平均柴油零售价格升至每加仑 5.848 美元，突破 2022 年 6 月创下的历史纪录，较去年同期每加仑 3.7 美元大幅上涨。
相关话题2026-04-01
美国加州柴油价格达每加仑 7.45 美元 再创历史新高2025-04-11
美国石油出口量在 2024 年创下新纪录OpenAI 最新旗舰模型 GPT-6 Astra 发布后陷入舆论风波。此次采用分阶段发布策略，优先向接入 Daybreak 网络安全平台的特定企业客户开放，其余付费订阅用户及通过多平台接入的用户需等待，且未给出明确时间表，引发付费用户尤其是高价 Pro 计划用户的强烈不满，CEO Sam Altman 公开道歉称此次是「混乱的发布」。此外，发布过程中博客文章出现问题，该模型推理过程更难监控的特性遭安全倡导者批评，此前为强化安全已推迟发布数周仍未解决问题。这是 OpenAI 近年来多次重大产品发布受挫的又一次重演，此类状况持续消耗用户信任，也给竞争对手带来机会。
相关话题2026-09-05
OpenAI 将向付费用户赠重置卡 补偿 GPT-6 Astra 延迟开放2026-09-04
OpenAI 发布 GPT-6 Astra 模型2026-08-25
ChatGPT Plus 用户再遇使用限制 OpenAI 恢复五小时限制2026-08-11
OpenAI 推出 GPT-5.6-Cyber 面向安全人员开放更强 AI 能力2026-07-17
OpenAI 介绍内部漏洞检测模型 GPT-Red2026-07-08
OpenAI 将于 9 日正式发布 GPT-5.6 系列