AI数学家上午出题下午交卷，数学界迎来工业化时代
自今年2月以来，AI工具AxiomProver已让8篇覆盖代数几何、数论等硬核领域的论文现身arXiv，其中5篇已被权威期刊接收。该工具通过Lean形式化语言生成证明，实现机器即时验证，彻底颠覆传统审稿流程。数学家Ken Ono表示，这套系统将数学从依赖人类专家背书的手工作坊，推进到机器验证的工业化时代。上午出题、下午交卷的速度，让博士生熬秃头的日子成为历史。
OpenAI秘密递表冲刺万亿IPO，奥特曼承诺2028年人人拥有AGI
OpenAI秘密提交IPO申请，目标估值超1万亿美元，成为美国史上最贵IPO之一。CEO奥特曼同时发布使命宣言，提出三大终极目标：打造自动化AI研究员、加速经济、为全球每个人提供专属AGI。公司预计到2028年，AI将协同人类完成大部分研究，但高昂的烧钱速度（每赚1美元亏1.22美元）和2030年才转正的现金流，给公开市场带来巨大挑战。
库克谢幕之作：苹果Siri AI全面进化
在蒂姆·库克主持的最后一届WWDC上，苹果发布了由Gemini大模型驱动的Siri AI，标志着语音助手从传统控制向AI伙伴的跨越。Siri AI支持跨应用个人情境理解、实时知识调用，并常驻灵动岛，可自定义语速语气。新版Apple Intelligence同时升级，Siri AI将于今年秋季以测试版形式推出，覆盖iPhone、iPad、Mac、Apple Watch和Vision Pro。这场发布会为库克时代画上句号，也为苹果AI战略定下基调。
井英科技融资数千万美元，Agent原生公司剑指内容行业重构
井英科技（CreativeFitting）完成数千万美元A轮及A+轮融资，投资方包括王慧文家办、蚂蚁集团等，并宣布原AWS首席应用科学家王敏捷加入任首席科学家。公司提出“Agent原生公司”范式，旨在将内容行业像代码行业一样被Agent重构。其核心是为Agent搭建强化学习环境，实现从AI短剧到全内容生产的闭环。目前AI视频模型虽进步显著，但“模型提升的是下限，不是上限”，内容创意仍需人类灵感与系统迭代。
土区ChatGPT Plus订阅攻略：每月80元省一半
本文详细介绍了通过土耳其区Apple ID订阅ChatGPT Plus的省钱方法，常规渠道每月需140元，而土区仅需约80元。步骤包括注册国区Apple ID、转区至土耳其、使用礼品卡充值并订阅，全程无需复杂验证。关键数据：土区订阅费499.99里拉（约80元），礼品卡500里拉约80元，操作需注意网络环境和账号稳定性。适合希望降低AI工具成本的用户。
微信AI官宣：百万小程序秒变Agent
微信正式开放AI生态内测，开发者可通过授权让AI读取、操作小程序，实现从“能聊天”到“能办事”的跨越。两种接入模式（自动/开发）满足不同需求，无需修改代码即可完成Agent化。依托14.32亿月活生态和微信支付闭环，微信正构建AI与真实服务的执行层，有望解决大模型“会想不会做”的行业瓶颈。
库克绝唱：Siri借谷歌Gemini重生，苹果AI史诗级重构
在2026年WWDC上，苹果正式发布全新Siri AI，首次深度整合谷歌1.2万亿参数Gemini模型，打造端侧与云端混合智能架构。新Siri实现跨应用无缝操作、屏幕感知和语义检索，覆盖iPhone、Mac、iPad、Apple Watch和Vision Pro等25亿台设备。库克在退役前亲自打磨细节，这场发布被视为苹果全面转型AI公司的里程碑。
云知声发布原生Agent大模型U2，小参数撬动高性能
云知声推出自研通用大语言模型U2，基于快慢思考融合的MoE架构，突破传统大模型堆参数、堆Token的路径。U2以更小参数实现更强能力，更低算力达到高产出，在多项基准测试中表现亮眼。作为港股AGI第一股，云知声此次发布标志着国产大模型第一梯队迎来新势力，为行业提供了低成本、高效率的AI落地新思路。
高德重磅发布3D原生城市世界模型ABot-Earth0.5，把地球玩成了《我的世界》！
{ title: "高德发布3D原生城市模型，地球秒变《我的世界》", summary: "高德于6月8日发布全球首个3D原生城市世界模型ABot-Earth0.5，标志着城市级3D建模技术的重大突破。该模型摒弃传统重建流程，实现从二维数据直接生成三维场景，成本降低80%以上，建模效率提升1
原力灵机押注Picking，具身智能的Coding时刻来了
具身智能公司原力灵机通过并购物流机器人企业Atomix，并获智谱、阶跃星辰、商汤、阿里等头部大模型公司集体投资，正式将Picking（抓取）定义为具身智能的原子任务。借鉴Coding在大模型领域的基石作用，原力灵机认为Picking具备高频、真实、可验证、可迁移四大特性，能驱动数据飞轮。物流仓储场景因其边界清晰、SKU多样、劳动力缺口真实，成为Picking落地的理想起点。这一战略布局标志着具身智能从Demo验证进入商业闭环的关键转折。
MiniMax Agent架构揭秘：模型之外的98.4%才是关键
MiniMax在Agent混战中推出Agent Team，采用Leader-Worker-Verifier对抗式架构，解决长程任务中的上下文污染和共谋问题。其研发工程师择因指出，Claude Code泄露代码显示仅有1.6%属于模型决策，其余98.4%是权限、上下文管理和容错脚手架。MiniMax坚持“相信模型但合理约束”的设计哲学，不等待旗舰模型M3即先行发布，意在输出认知共识。业界认为Agent能力正逼近人类，自进化或成终点。
50万人接入ChatGPT，美国大学最大AI实验引发争议
美国加州州立大学与OpenAI达成每年1300万美元、为期三年的合作协议，为全校46万名学生和6.3万名教职工提供ChatGPT Edu接入，覆盖23个分校，成为全球单一机构最大规模AI部署。这项计划引发教职工强烈反对，联名请愿指出预算应优先用于人力资源而非AI，同时学校面临23亿美元资金缺口和裁员困境。AI在校园中已扮演图书馆管理员、职业指导、毕业典礼协调等角色，但学术诚信、隐私安全及教育本质问题仍待解决。
AI游戏告别Demo时代，三家公司探索新方向
过去两年AI游戏主要停留在“一句话生成Demo”阶段，但到2026年，这一阶段正在退场。AI游戏公司开始从“生成游戏”转向“理解世界”和“商业化验证”。Seele致力于构建多模态游戏大模型和PEGA世界模型，让AI能生成可交互的持久化游戏世界；喵吉托工作室将内部工具产品化为Meowa，解决游戏资产生产痛点；Soda Game等团队则聚焦降低成本和缩短周期。行业正从一键生成竞赛转向寻找真正的AI-native游戏逻辑。
高考禁用AI搜题：2026年，社会最后的“独立思考”阵地
2026年高考期间，豆包、元宝、Kimi、文心等AI集体关闭拍题识图、试卷解析、作文生成等功能。这一小举措背后，折射出大AI时代一个深刻的矛盾：当日常决策、法律诉讼、医疗咨询全面外包给AI时，高考成为唯一强制要求“必须自己来”的场景。本文从石家庄李先生信豆包打官司翻车等名场面切入，探讨教育生态从“唯高考论”转向多元成才背景下，社会对“独立思考”的最后坚守。
英伟达SK海力士联手，官宣将共研AI工厂下一代存储
{ title: "英伟达与SK海力士联手，共研AI工厂下一代存储", summary: "英伟达CEO黄仁勋在韩国行期间，与SK海力士宣布建立多年期技术合作伙伴关系，共同研发面向全球AI工厂的下一代存储技术。双方将聚焦HBM内存，为Vera Rubin AI超级计算机、Vera CPU等产
AI芯片处理器IP公司隼瞻科技完成近亿元融资，核心团队来自Synopsys、ARM等顶尖半导体公司
{ "title": "隼瞻科技获近亿元融资，AI芯片IP赛道再添新军", "summary": "AI芯片处理器IP公司隼瞻科技完成近亿元天使+轮融资，引入英飞尼迪资本、白云金控等多家战略投资人，老股东毅达资本、达泰资本持续加持。核心团队来自Synopsys、ARM等顶尖半导体公司，专注于
一个语音转文字的 AI 工具站，月访问量 3000 万
{ title: "月访问量近3000万，这个AI语音转文字工具凭什么火", summary: "TurboScribe是一个专注于音频和视频转文字的AI工具站，2024年4月访问量高达2974万，接近3000万。其成功源于简洁的产品设计、清晰的用户路径和精准的SEO策略。网站支持MP3、M
前存储高管带队，华弘数科获数千万融资深耕全液冷AI设备
华弘数科完成数千万Pre-A轮融资，由吴中金控领投，资金将用于AI应用生态建设及产能扩张。公司专注全液冷边端侧超级计算机，其自研“冻芯”分体式液冷系统实现全核算力提升55%，热通量处理能力提升271%，噪音控制在45dB以下。创始人罗华拥有近20年存储行业经验，预计2026年中国端侧AI市场规模达8661亿元，边缘计算市场超1300亿元。
Sora核心天才离职，押注AGI前最后产品
OpenAI再失一员猛将：17岁高中辍学、自学成才的Sora核心成员Gabriel Petersson正式宣布离职。他曾在14岁靠倒卖宝可梦卡赚2万美元，17岁辍学后加入YC明星项目，用ChatGPT自学AI并拿下OpenAI研究科学家岗位。如今他决定押上全部，打造AGI到来前的“最后一个产品”。这一事件引发业界对人才流失和AI创业窗口期的热议。
AI使用与收入分层：谁在用Claude，谁在用Meta AI
Epoch AI与Ipsos联合调查显示，Claude用户中80%来自年收入10万美元以上家庭，而Meta AI用户仅37%达到该收入水平，32%来自5万美元以下家庭。这不是简单的阶层选择，而是产品定价与分发策略的自然结果。Claude通过付费墙和高门槛筛选出高收入、高技能的早期采用者，Meta AI则借助Instagram、Facebook等生态自然覆盖大众。ChatGPT、Gemini等主流产品用户收入分布接近全美平均水平，呈现中间地带。