「证明系统」共找到 1991 篇相关文章
抢疯了！AI宠物翻译器：800多块，预售2万单
PettiChat宠物翻译器售价800多，预售2万单。它能将猫狗叫声转成句子，翻译延迟1.2秒，还具备位置追踪、安全警报和声音克隆功能。其靠大模型的声音识别和情绪推理系统实现翻译。
拒掉字节、谷歌橄榄枝，Meta 离职大佬田渊栋官宣自立门户！苏妈老黄追着投
Meta离职大佬田渊栋官宣创业，新公司Recursive Superintelligence首轮融资6.5亿美元，估值46.5亿美元。其团队豪华，想跳出大模型竞争老路，让AI具备自我进化能力，计划2026年中期推出自主训练系统。
科学家要失业了？GPT-5仅用18分钟解出黑洞方程，效率碾压人类数月！
2026年AI成科学家新战友，从破解优化难题到重现黑洞对称性，加速科学发现。数学家与ChatGPT合作完成证明，物理学者用GPT-5 Pro快速解黑洞方程，OpenAI还助力攻克生物学难题。
黄仁勋抢吃龙虾：英伟达新核弹10倍算力提升，OpenClaw自由了
北京时间凌晨，英伟达GTC大会召开。CEO黄仁勋称正处新平台变革开端，算力需求爆发。推出Vera Rubin系统，性能提升显著，还有新推理芯片LPU。上线NemoClaw保障安全，AI在物理世界也加速落地。
微软31年老员工被裁，六旬老将重新踏上求职路
新智元报道，微软31年老员工Mike Kostersitz被裁。近年AI重组其所在部门，致他命运改写。过去两年硅谷盛行裁员，AI浪潮下，有经验的技术人员首当其冲，像他这样的中层正被系统优化。
评估工程正成为下一轮 Agent 演进的重点
文章指出传统软件工程测试方法难用于 AI 系统，促使评估工程成 Agent 演进重点。它贯穿 AI 生命周期，正走向体系化。介绍评估工程发展阶段，还提及阿里云 RM - Gallery 和云监控 2.0 实践。
00后黑客落网！曾运营大型僵尸网络，频繁攻击腾讯游戏、DeepSeek、X平台
活跃多年的高危DDoS僵尸网络‘RapperBot’被取缔，主谋22岁美国男子Ethan Faulds被捕。该网络曾攻击腾讯游戏、DeepSeek、X平台等。文中介绍其家族情况、盈利模式，还提及腾讯宙斯盾系统及防护建议。
OpenAI IMO金牌团队爆料：AI拒绝作答第六题
OpenAI IMO团队接受采访，透露让模型获IMO金牌的项目仅用两三个月、核心开发者仅三人。还谈及模型证明风格、第六题失分原因、解决千禧年大奖难题距离等，强调通用技术及面临的新挑战。
告别Transformer！北大、北邮、华为开源纯卷积DiC：3x3卷积实现SOTA性能，比DiT快5倍！
北大、北邮和华为研究提出纯卷积扩散模型 DiC，抛弃自注意力机制回归 3x3 卷积。它性能超 DiT，推理速度快 5 倍，证明精心设计的卷积网络在生成任务中也能表现卓越。
估值315亿！田渊栋AI创业，谷歌、英伟达和AMD参投
Meta离职的田渊栋官宣创业，成立RSI，获6.5亿美元融资，估值约316亿。8位联创阵容豪华，团队致力于构建开放式架构，让智能体自主学习升级，目标打造具5万博士能力的智能系统。