全部动态

AI 相关资讯全量信息流 · 1796 条
5月26日
5月25日
模型中美对照多源确认83°19:02
Google DeepMind AlphaProof Nexus 以数百美元解决56年未解数学难题

数学研究者和 AI 推理方向开发者值得关注——AlphaProof Nexus 用极低成本攻克了人类多年未解的难题,虽然成功率低,但证明了形式化验证路径的可行性,建议点开了解其技术细节。

事件专题
官方账号Decoder@Matthias Bastian8 个信源在谈原文
5月24日
5月23日
模型中美对照官方一手精选76°17:52
微软发布 Fara1.5 浏览器智能体家族,4B/9B/27B 三尺寸,性能超越 OpenAI Operator

做浏览器自动化或 RPA 的开发者终于有了一个开源且性能领先的选择——Fara1.5 直接对标 OpenAI Operator,27B 模型在关键基准上胜出,值得立即上手测试。

事件专题
官方一手marktechpost@Asif Razzaq11 个信源在谈原文
5月22日
5月21日
5月20日