「正式证明搜索」共找到 1052 篇相关文章
大模型公司不搞浏览器搞Agent，实测找到原因了
文章实测阶跃星辰桌面Agent小跃，它能操作命令行，可自然语言驱动计算机功能，有悬浮球形态，能联网、搜索、处理表格等，还支持复用操作、定时任务，但也存在速度慢等不足。
地理学的AlphaEvolve？MIT斯坦福让AI自我生长、懂地理、懂世界
MIT和斯坦福学者提出GeoEvolve，把地理知识「嵌入」AI，让其成为能自主改进算法的科研合作者。它有双循环机制和四个核心模块，输入简单，开源为Python包，改进Kriging模型效果显著。
均值至上假繁荣！北大新作专挑难题，逼出AI模型真本事
当强化学习成大模型后训练核心工具，主流方法陷入「均值优化陷阱」，推理能力停滞。北大团队提出RiskPO，将风险规避理念融入优化目标，用MVaR+捆绑策略双管齐下，三大任务表现优异。
北大彭一杰教授课题组提出RiskPO，用风险度量优化重塑大模型后训练
北大彭一杰教授课题组提出 RiskPO，解决大模型后训练陷入「均值陷阱」问题。它将风险规避理念融入优化目标，用「关注奖励分布左尾」替代「追求整体均值」，在多领域数据集上表现超越 GRPO 等。
FerretDB Cloud：MongoDB Atlas 的开源替代方案
FerretDB宣布FerretDB Cloud正式可用，这是基于开源DocumentDB构建的托管MongoDB兼容数据库服务，主要面向找跨云DocumentDB方案及MongoDB Atlas替代品的开发者，目前仅在AWS提供，付费版功能丰富，预计支持多云。
SFT远不如RL？永不过时的剃刀原则打开「终身学习」大模型训练的大门
现代AI系统学习新任务时会灾难性遗忘旧知识，限制其持续学习能力。麻省理工学院研究者对比SFT和RL后发现，相同性能下RL更不易遗忘，提出遗忘定律，解释了RL优势源于其on - policy特性。
刚刚，李飞飞主讲的斯坦福经典CV课「2025 CS231n」免费可看了
斯坦福大学经典CV课程《CS231n：深度学习与计算机视觉》（2025春季）正式上线，学生能学习实现和训练神经网络。课程由李飞飞等四人主讲，全部18个视频可在Youtube免费看。
告别无效计算！新TTS框架拯救19%被埋没答案，推理准确率飙升
现有TTS方法存在路径同质化和中间结果利用不足问题。华为诺亚方舟实验室等机构提出SRCA框架，含检查点注入、答案聚类搜索和检查点候选增强组件，实验显示能提升推理准确性、效率，降低成本。
新iPhone的AI怎么样，得看苹果最近的收购了
苹果官宣iPhone 17发布会，同时据爆料正严肃讨论收购法国AI初创公司Mistral和美国AI搜索工具Perplexity。苹果在生成式AI领域滞后，收购或能补短板，但目前收购充满悬念。
Perplexity的终极野心：一个域名，暴露一切
AI搜索新秀Perplexity AI从HubSpot联合创始人处收购os.ai域名，其CEO曾被Chrome拒绝合作后，打造Comet浏览器。Comet有强大AI助手，而OpenAI也将推AI浏览器，AI浏览战争一触即发。