AI日报 2026-08-03（最终版）：Astra连破10道数学世纪难题、欧盟AI法案正式生效、腾讯Hyra开源突破、浙大求是引擎发布、北京智能体政策10条出台

早间要闻

OpenAI新模型Astra破解10大数学难题，算力成本仅2000美元

8月2日凌晨，OpenAI披露下一代模型Astra，其内部版本在高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学和极值组合学等领域取得10项数学与理论计算机科学新成果。这些问题均已开放至少10年，核心结论长期没有进展。OpenAI借助Astra将所有论证整理成249页论文，另附62页解题思路说明，按Sol API费率计算Token总成本仅约2000美元，彻底改写了AI助力基础科研的成本与能力边界。据悉Astra支持多智能体协同工作，可处理需要数小时甚至数天的复杂任务。

欧盟《人工智能法》8月2日正式生效，新增AI透明度强制要求

欧盟委员会7月31日宣布，自8月2日起正式执行《人工智能法》相关规定，这是全球首部综合性AI监管法案进入实质执行阶段。新规要求：聊天机器人必须明确告知用户其AI身份；AI生成的深度伪造图片、视频、音频必须显著标识并添加机器可读标记；可能造成系统性风险的通用AI模型提供商须履行额外安全义务。首批180多家机构已签署透明度行为准则，违规企业最高可面临全球年营业额3%的罚款。用于招聘、教育、执法等领域的高风险AI系统规则推迟至2027年底适用。

亚马逊提前完成对OpenAI 500亿美元全额投资，持股比例升至22%

当地时间7月31日，亚马逊在10-Q季报中披露已完成对OpenAI总计500亿美元的全额投资，持股比例升至约22%。今年2月亚马逊最初仅承诺投资150亿美元，并约定上市或技术重大突破作为追加条件，但即便两项触发条件均未达成，亚马逊仍提前全额注资。这笔交易深度绑定了双方在芯片、算力、云服务领域的合作，将大幅提升OpenAI大模型训练能力，也标志着全球AI巨头资本军备竞赛再度加码。近期AI投融资持续升温，Anthropic估值已逼近万亿美元。

午间要闻

腾讯开源Hyra攻克50年数学悬案，开源模型科研能力追平闭源前沿

8月3日消息，腾讯基于7月开源的Hy3模型构建的科研智能体Hyra，成功为加法组合学中悬置超过50年的和差集问题给出完整答案。Hyra运行约24小时提出核心构造，利用十二进制结构与中国剩余定理完成证明，论文预印本、显式构造及Lean 4形式化证明均已开源。与OpenAI闭源的Astra不同，Hyra完全基于开源模型构建，标志着开源模型在科研前沿的能力正在快速逼近闭源产品。

浙大发布"求是引擎"：千步级长程科研推理实现AI自主研究者突破

浙江大学信息与电子工程学院团队正式发布"求是引擎"系统，首次实现千步级长程自主科研推理能力。系统采用多智能体协同架构，内部设有规划、构建、执行、分析、质疑等分工不同的智能体，模拟真实科研团队工作方式。在真实光学实验中，"求是引擎"连续自主研究十几个小时，自主完成文献调研、理论分析、实验设计、程序编写、数据分析和结果判断，经历多轮失败修正后最终发现多项原创成果，同等工作人类科研人员通常需要数周到数月。

谷歌发布Gemini Robotics 2，VLA模型实现人形机器人全身控制

谷歌DeepMind发布Gemini Robotics 2，其VLA（视觉-语言-动作）模型实现人形机器人从脚到指尖的全身移动与精细操作控制。同步推出高级推理规划模型ER 2和端侧部署模型On-Device 2，其中On-Device 2仅需200个示例即可适配新机器人本体，大幅降低技能迁移成本。模型可迁移至Apollo、Franka等多种硬件平台，支持多机器人协作完成长序列任务。同期阿尔特联合富士康发布机器人"交钥匙"全栈平台，2026年被视为人形机器人量产元年。

晚间要闻

OpenAI Astra数学成果引发全球学术界震动，菲尔兹奖得主称需重新定义数学研究

Astra攻克10道世纪难题的消息持续发酵，菲尔兹奖得主Timothy Gowers公开表示若证明通过同行评议，人类需重新思考"做数学"的意义。249页论文和全部Lean 4形式化证明已开源，核心成果包括构造出非sofic群（解决1999年Gromov猜想）、证伪Connes刚性猜想、突破停滞46年的高维球体堆积Kabatiansky-Levenshtein界、解决三道埃尔德什经典问题等重磅成果。全部推理Token成本仅约2000美元，平均每道题200美元。认知科学家Gary Marcus则提出理性质疑，认为数学专长不能直接等同于通用智能跃迁，且成果尚未经过传统学术期刊的同行评议。Astra有望成为首批按照美国政府新版AI框架接受发布前联邦安全审查的前沿模型。

北京出台国内首个智能体专项扶持政策，10条措施覆盖技术应用产业生态全链条

《北京市关于加快智能体引领发展的若干措施》8月3日经人民日报正式发布，围绕技术、应用、产业、生态4个方面推出10条具体举措。技术层面支持代理式AI技术创新、驾驭层工程、智能体技能市场和开发平台建设；应用层面加速智能体原生应用和标杆场景落地，支持研制AI操作系统和科学智能助手；产业层面特别提出前瞻培育智能经济新形态，支持以OPC（一人公司）为代表的AI时代创业新模式。这是国内首个专门针对AI智能体产业的系统性地方扶持政策，标志着智能体赛道正式进入政策驱动的产业发展新阶段。

闪极科技官宣AI眼镜L1将于8月18日发布，主打"日常时尚化"破局AI穿戴困局

闪极科技8月3日在深圳宣布，将于8月18日在武汉举办"好看的不像AI眼镜"新品发布会，推出历经近一年底层重构的loomos AI眼镜L1。产品以"好看、好戴、好多样"为核心理念，先成为一副合格的日常眼镜再成为AI设备，直击当前AI眼镜粗边框、重量大、款式单一的行业痛点。从去年主动停产首款产品A1并全额退款，到L1以"凤凰架构"涅槃归来，闪极完成了AI硬件领域罕见的"试错-重构-进化"闭环。本次发布会将创新融入时尚走秀形式，专业模特佩戴多款框型登台展示，标志着AI眼镜正在从科技尝鲜品向日常消费电子进化。

今日总结

2026年8月3日，AI行业呈现三条震撼性主线：

1. AI科研能力实现历史性跃迁，数学研究范式面临重塑：OpenAI Astra连破10道悬置十年以上的数学世纪难题，腾讯开源Hyra同样攻克50年和差集问题悬案，浙大"求是引擎"实现千步级长程自主科研推理——从闭源到开源、从海外到国内，AI正在从"科研辅助工具"正式进化为"自主研究者"。2000美元即可产出菲尔兹奖级成果的成本革命，将彻底改变基础科研的经济学逻辑，"从证明稀缺到证明过剩"的时代正在到来。

2. AI监管与产业政策同步落地，发展与规范并行不悖：欧盟《人工智能法》今日正式执行透明度条款，全球AI监管进入有法可依的实质阶段，最高可罚全球年营业额3%；北京同步出台国内首个智能体专项扶持政策，从底层技术攻关到一人公司创业模式给予全链条支持。全球主要经济体正在探索"鼓励创新+防范风险"的平衡治理路径，政策确定性增强将加速AI产业健康发展。

3. 资本重磅加注与具身智能/AI硬件双线突破：亚马逊提前完成对OpenAI 500亿美元全额投资，持股比例升至22%，资本对头部AI实验室的押注持续加码；谷歌Gemini Robotics 2实现人形机器人全身控制且仅需200个示例即可适配新本体，具身智能通用性大幅提升；闪极L1主打日常时尚化设计冲击AI眼镜消费市场。AI从数字世界向物理世界和日常生活渗透的步伐明显加快，消费级AI硬件的爆发窗口正在临近。

明日展望：马斯克旗下xAI的Grok 4.6即将于8月7日发布，OpenAI Astra正式版发布时间表和更多AI科研突破值得持续关注，欧盟AI法案执行后的首批合规案例也将浮出水面。