当前分类：AI资讯
消耗1830亿token，Meta用AI把数学教材翻译成了一个超大Lean库
消耗1830亿token，Meta斥巨资用AI将海量数学教材自动转译成Lean代码库，试图让机器像人类数学家一样推理，并以此倒逼内部代码体系全面AI化。
企业怎么拥有靠谱的AI员工？网易智企公开“看家秘籍”
企业AI管理陷入“裸奔”焦虑，网易智企发布“帝王蟹”平台，以“可管、可控、可沉淀”三大秘笈为企业提供拥抱AI员工的安全路径。
倒反天罡！AI越来越强，人类开始“自证清白”
AI越来越强，人类却因它蒙冤入狱，甚至需要自证清白——当技术从工具变成“指控者”，一场荒诞的角色反转正在上演。
刚刚，全球⾸个“事件级预测”具身智能世界模型来了！
刚刚，全球首个具身智能世界模型重磅发布，实现从“看到”到“预知”的飞跃，为机器人赋予真正的“想象”能力。
AI服务器收入狂飙757%！戴尔总营收创新高，全年营收预期上调
戴尔科技集团因AI服务器需求井喷，总营收创新高，并大幅上调全年营收预期，AI服务器收入同比狂飙757%。
英伟达收编创始人后，Groq要融44亿，转型AI推理云
英伟达通过一项非排他性技术授权协议，以约200亿美元“买空”Groq的核心技术、专利和关键人才，创始人Jonathan Ross被收编，Groq保留空壳公司并计划融资44亿美元转型为AI推理云服务商。
Mistral AI 首席执行官 Mensch：拥有定制芯片或许是迟早的事
Token部署成本高企深化自研芯片必要性，Mistral CEO称定制芯片“迟早要做”，当前仍依赖英伟达，同时推进40亿欧元数据中心投资并发布企业智能体平台Vibe。
谷歌DeepMind CEO哈萨比斯：AGI或于三年内到来，研发速度远超预期
谷歌DeepMind CEO哈萨比斯在多个场合明确表示，通用人工智能（AGI）可能在2030年之前到来，研发速度远超预期，但还需攻克持续学习、长期推理等关键突破，同时物理AI也将在18个月至两年内跨越临界点。
火星人携代言人解锁厨房新范式
火星人携手代言人黄磊，以Q60蒸烤一体集成灶和“我的未来家”智能平台，重新定义中国无烟健康厨房新范式。
COMPUTEX 2026 将至，高通安蒙将发表主题演讲，智能体 AI 成关键
COMPUTEX 2026将于6月2日开幕，高通总裁兼CEO安蒙确认发表开幕主题演讲，聚焦智能体AI（Agentic AI）如何重新定义从终端到云端的运算新时代。
美国最强大模型 Claude Opus 4.8 刚上线就被曝“蒸馏”中国模型：自称是千问和 DeepSeek 身份错乱，Anthropic 再陷“双标”争议
美国最强大模型Claude Opus 4.8刚上线就被曝身份错乱——用户提问“你是什么模型”，它竟回答自己是DeepSeek V3或千问，直接打脸Anthropic此前对中国AI公司的“工业规模蒸馏”指控，引发新一轮双标争议。
独家对话它石智航陈同庆：一台会做线束的机器人公司，凭什么一年融资近7亿美金？
一台成立仅一年的具身智能创业公司，凭借攻克工业界“哥德巴赫猜想”般的线束装配难题，在12个月内累计融资近7亿美元，刷新了中国具身智能行业单轮融资纪录。
倒反天罡，AI越来越强，人类开始“自证清白”
AI越强，人类越需要费力证明“我没用AI”——从换脸视频到伪造证据，一场关于信任与清白的攻防战已然打响。
中国版 Anthropic 是个伪命题
中国AI公司盲目对标Anthropic，既无技术根基亦无商业土壤，注定是错位叙事。
莫言：人工智能无法取代作家的创作，是靠一代又一代作家写出来的东西“喂”出来的
摘要：莫言在伦敦接受专访时强调，AI靠作家作品“喂”出，缺乏原创能力，无法取代文学创作。
Opus 4.8来了，Anthropic估值即将突破万亿美元
Anthropic最新旗舰模型Claude Opus 4.8正式发布，公司估值在二级市场已突破1万亿美元，首次超越OpenAI成为全球最具价值AI初创公司。
国内同行羡慕硅谷有钱，硅谷在羡慕宇树有副好身体
国内同行羡慕硅谷有钱，硅谷却羡慕宇树有全球出货第一的本体能力、60%的毛利率以及万台真实运转的机器人积累——这才是具身智能竞赛下半场的底牌。
刚刚，拓竹对手IPO敲钟了
一家3D打印独角兽的对手刚刚敲钟上市，而今天共有7个IPO集体诞生，背后集结超百位投资人，上演久违的退出盛宴。
提升运营效率、专注 AI 等领域，网络安全公司 SentinelOne 将裁员约 8%
美国网络安全巨头SentinelOne宣布进行战略重组，计划裁减约8%的员工，以将资源集中押注于AI和数据驱动安全等高增长领域，并逐步淘汰传统欺骗式防御产品。
清华系团队给大模型织了一张“智能算力电网”
清华系创业公司清程极智发布大模型训练智能软件栈“八卦炉”和推理引擎“赤兔”，借鉴智能电网理念构建算力调度体系，助力全国一体化算力网建设。
巨头卡位AI支付，安全屏障如何构建？
AI智能体支付笔数飙升，巨头纷纷卡位，但信任与安全成为最大障碍，各方通过协议、风控、产品等构建多重防护屏障。
Opus 4.8：一个不太诚实的模型
Anthropic声称Claude Opus 4.8比前代更“诚实”，但“诚实”本身成为最难验证的指标——模型糊弄你的成本几乎为零，而你必须重新检查才能确认它是否真的说了实话。
李开复内部放话：零一万物对标Palantir，要做中国首个盈利打平的AI 2.0公司
零一万物三周年内部讲话中披露目标：2027年IPO、成为中国首家盈利AI 2.0公司，验证了大模型转向商业化落地的可行性。
爆了的AI编码工具，联合创始人亲口说工程师还有救
AI编码工具成为争议焦点：资深程序员重燃热情，但“代码能力退化”与“10倍生产力泡沫”的警告同时浮现，工程师靠专业知识驾驭AI才是出路。
华为，又干出一条新路子
从5G到云与AI的深度融合，华为正将一条“野路子”修成开辟新赛道的康庄大道。
英伟达黄仁勋谈 AI 应用、Token 消耗：浪费一点钱没关系，千万别浪费时间
摘要：英伟达CEO黄仁勋在台湾员工大会上强调，AI应用的核心是提升生产力，宁可浪费一点Token费用，也不要浪费高薪员工的时间。
Anthropic发布Opus 4.8，关键一项还是输了GPT-5.5
Anthropic的Claude Opus 4.8在Vertex后台提前曝光，Sonnet 4.8与Mythos 1也接连现身，但面对OpenAI GPT-5.5在Agent场景的全方位碾压，Anthropic仅在纯编码修复这一项上保住了颜面。
AI初创公司Anthropic官宣完成650亿美元H轮融资 估值超过OpenAI
Anthropic在最新一轮H轮融资中筹集650亿美元，投后估值达9650亿美元，超越OpenAI成为全球估值最高的AI初创公司。
Anthropic融资650亿美元，筹备近万亿美元估值IPO
Anthropic以650亿美元融资将估值推至9650亿美元，超越OpenAI成为全球最高估值AI初创公司，并计划年内IPO冲刺万亿美元市值。
AI视频进入「生产线」调研
AI视频正从灵感工具转向内容生产线，生成、编辑、重混、协作能力逐步成熟，世界模型等新范式推动可控性与物理一致性突破，即将重塑广告、短视频、教育等千亿市场的生产逻辑与竞争格局。