谷歌AI一夜破9道56年数学难题，人类望尘莫及
谷歌DeepMind发布全新AI数学智能体AlphaProof Nexus，一夜之间解决了9道悬而未决数十年的Erdős开放问题，其中最古老的一题已56年无人能解。该智能体结合强化学习与形式化验证，在数学推理任务上达到新高度。相比OpenAI推翻80年猜想，AlphaProof Nexus的批量突破更显系统化，标志着AI从辅助计算向自主推理的跨越。
GPT-5.6泄露：1.5M上下文与UI去Slop化震撼AI圈
OpenAI未发布模型GPT-5.6（代号iris-alpha）在Codex后台日志中泄露，引发AI社区热议。该模型支持1.5M tokens上下文窗口，较GPT-5.5提升43%，并展现出突破性的前端生成能力，实现“去Slop化”的极简UI设计。开发者已通过OAuth认证成功调用，预计6月正式发布。与此同时，Anthropic、谷歌和马斯克的Grok 5也蓄势待发，2026年6月或将迎来AI军备竞赛高潮。
02年创始人打造AI产品大众点评，获红杉华兴投资
02年出生的仲泰创立了“观猹”，一个被称为“AI产品大众点评”的社区平台。该平台旨在打破传统融资背景的偏见，为初创AI项目提供公正曝光机会。上线半年，入驻项目近2000个，认证“观猹员”约5000人，月活用户达数十万。平台还提供统一登录SDK、支付SDK、Token补贴（通过TokenDance）等基础设施服务。近期，观猹完成由红杉中国、华兴资本领投的种子轮融资，红杉合伙人评价其为“超级节点”。
独家丨天机智能完成10亿元B轮及B+轮融资，估值近百亿，高瓴、美团联合领投
{ title: "天机智能完成10亿元融资，具身力控双臂量产破万台", summary: "具身智能基础设施公司天机智能完成10亿元B轮及B+轮融资，投后估值近百亿，跻身独角兽。高瓴创投、美团战投联合领投，腾讯、高榕创投等跟投。公司聚焦运动控制与MEMS传感器，2025年4个月内交付力控人
Ilya神图《思考者》引爆AI圈，OpenAI三连击逼近AGI
AI界精神领袖Ilya Sutskeve在Instagram发布一幅《思考者》画作，画中人物立于芯片显微剖面图的悬崖边缘，签名“IS 2026”引发全网解读。与此同时，OpenAI一周内连发三枚重磅消息：通用推理模型发现新几何构造、Codex升级为驻场工程师、秘密筹备IPO。三件事叠加，暗示AGI正从口号变为改写科学、软件和资本市场的现实变量。
600亿参数大模型塞进手机，中国团队突破三值量化瓶颈
面壁智能联合清华大学、OpenBMB开源社区在华为鲲鹏昇腾开发者大会上发布BitCPM-CANN三值大模型系列，首次在国产昇腾芯片上完成端到端三值训练，规模达8B参数。该模型通过1.58-bit三值量化技术，将显存需求压缩至传统模型的1/6，能力保留率高达97.2%。未来结合MoE架构，可在8GB内存手机上运行600亿参数模型，为端侧AI部署开辟新路径。
OmniWork：一人可驾驭的 AI 创作团队，一站式完成全流程创作交付
{ title: "OmniWork：一人即团队，AI全流程创作交付", summary: "OmniWork是一款创新的AI创作工具，它打破传统AI辅助模式，让单个用户通过一个平台完成从创意到交付的全流程创作。该工具内置智能分工与协作系统，可自动分配任务、协同推进，最终输出成品。据官方数据
Gemini学生优惠到期？38元续命一年亲测教程
Gemini Pro学生优惠即将到期，本文提供一套完整的续费方案，仅需38.88元人民币即可续订一年。教程详细介绍了账号准备、风控规避、卡密购买及安全收尾的全流程，实测三分钟完成充值。关键步骤包括开启两步验证、清理支付资料、使用临时密码和备用验证码，以及充值后移除陌生设备。适合希望低成本继续使用Gemini Pro的AI从业者和爱好者。
抢先苹果开售！1999元摄像头AI耳机来了
前小米员工董红光创办的光帆科技，抢先苹果发布AI全感耳机，单品首发1999元。这款耳机内置摄像头，能识别餐厅、商品等信息，提供智能助理服务。创始人曾参与MIUI和汽车OS研发，公司估值超10亿元，获韶音、歌尔、联想等投资。产品强调隐私保护，摄像头仅用于AI分析，不存储原始照片。
超级个体不是培训出来的，而是被好奇心激发
本文探讨了AI时代“超级个体”的真正含义，指出其核心不是通过培训或工具堆砌而成，而是源于个体的好奇心、自驱力和完整闭环能力。作者通过思想实验和Naval的杠杆理论，反思大公司岗位设计对创造力的抑制，并提出组织应允许个人从问题发现到结果实现的全流程参与。关键洞察：超级个体是“AI Builder”，而非流水线上的更强岗位人。
30天烧60万亿token，AI内卷沦为KPI游戏
亚马逊为AI工具安装使用计量器，Meta内部榜单30天消耗60万亿token，CEO扎克伯格却未能进入前250名。Jellyfish数据显示token使用量提升10倍，产出仅增加1倍。大厂AI正从创新工具异化为KPI竞赛，引发对效率与真实价值的深度反思。
谷歌CEO皮查伊承认Gemini在编程领域落后
谷歌CEO皮查伊在《纽约时报》播客中坦承，Gemini在编程智能体、指令跟随和长期任务处理上落后于竞争对手。他指出，AI行业变化速度惊人，30到60天的进展相当于过去5年。尽管Gemini 3.5 Flash已发布并补上部分短板，但谷歌在编程工具入口和用户场景上仍存差距。皮查伊强调，AGI可能比预期更近，AI将深刻改变工作与生活，谷歌正通过内部工具Antigravity 2.0加速追赶。
阿里QoderWake公测：数字员工管理新突破
阿里旗下Qoder推出数字员工产品QoderWake，公测首发内置六大岗位，支持7×24小时工作、长期记忆与自我进化。产品强调可视化管理体系，能追踪工作进度、记录反馈并沉淀记忆。首批支持GLM-5.1、DeepSeek V4 pro等国内顶级模型，具备并行任务执行、本地安全部署等特性。公测期间提供半价优惠，已吸引内容运营、财务等岗位试用。
师从LeCun与谢赛宁，童晟邦谈视觉大模型与World Model
纽约大学博士生童晟邦，师从Yann LeCun与谢赛宁，近日加入由LeCun推动的AI研究与创业计划AMI Labs。他在对话中分享了对统一视觉模型的长期思考，认为理解与生成不应割裂，未来多模态的核心是构建更强的world model与视觉基础智能系统。他形容两位导师风格互补，LeCun偏high-level且能量十足，谢赛宁则系统性地训练他如何做研究。童晟邦强调，一个真正好的通用模型应包含大部分下游任务所需能力，而未来重要变化在于问题将被统一重写为状态转移或仿真问题。
智象未来豪赌全模态：一锅炖所有信号，8B模型登顶竞技场
智象未来发布原生全模态大模型HiDream-O1，采用颠覆性UiT架构，将文本、图像、视频、空间等所有模态统一处理，摒弃传统独立编解码方案。开源8B稠密版本在Artificial Analysis文生图竞技场排名第一，闭源200B MoE版本性能潜力巨大。公司2025年收入超1亿元，2026年Q1保持倍数增长，近期完成两轮亿级融资。CTO姚霆强调，真正的全模态不是局部最优，而是底层架构创新。
Tianfu Agent：中国AI术数推理准确率直逼人类大师
在无信息泄漏的专业术数题库测试中，Claude、GPT等主流大模型准确率仅23%-40%，接近随机猜测的25%。DestinyLinker团队研发的Tianfu Agent通过200多个原子工具、四级可见性控制、多Sub-Agent协作等工程创新，将准确率提升至50%，逼近本届赛事人类Top20选手53.5%的平均水平。该研究揭示了通用大模型在垂直专业领域的局限性，并为Agent在医疗、法律等复杂领域落地提供了可借鉴的工程范式。
用AI寓言故事5分钟吃透任何新概念
Anthropic Claude性格对齐团队负责人Amanda Askell分享了一个高效学习新概念的方法：通过AI创作寓言故事来间接传达概念本质，而非直接解释术语。该方法经过优化后，可避免AI常见的叙事模板（如河流、钟表等意象），并支持用户指定具体概念。优化版Prompt增加了防重复约束和迁移思考问题，帮助用户不仅理解概念核心，还能将其应用于其他领域。测试显示，这比传统直接讲解方式记忆留存率更高。
4K的可灵没能复兴残酷底层物语
{ "title": "可灵4K直出实测：AI视频复兴不了底层物语", "summary": "快手旗下AI视频模型可灵近期上线原生4K功能，主打专业创作与电影质感，但实测复刻经典快手狠活（如猛虎过江、唐老鸭上吊）时，结果令人哭笑不得。本文通过对比测试可灵与即梦，发现可灵在物理模拟和动作流畅
当虹科技动态压缩技术亮相无人机大会，四大无人装备场景全覆盖
2026世界无人机大会上，当虹科技展示了针对无人机、无人车、无人船、机器人的动态视频压缩与图像超级压缩产品。通过峰控压缩技术，将原始视频码率从8120kbps降至698kbps，码率降低约10倍，画质几乎无损；端到端图像压缩可将4.7MB巡检图片压缩至160KB，体积缩小20-30倍，大幅节省传输与存储成本。该方案解决了弱网环境下“回传难、传不稳、控不远”的行业痛点，吸引了众多厂商现场洽谈。
黄仁勋豪赌4万亿美元AI基建，英伟达财报炸裂
英伟达2027财年Q1营收816亿美元，同比增长85%，数据中心业务贡献752亿美元，净利润翻两倍。黄仁勋在电话会上预测，超大规模云厂商AI资本开支将达每年3至4万亿美元，远超华尔街预期的1万亿美元。这一愿景正在推高全球电费，并催生数十亿AI Agent。