「时间相关性」共找到 1498 篇相关文章
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
字节跳动Seed团队与南京大学联合发布CriticLean框架，将数学自然语言到Lean 4代码的形式化准确率从38%提升至84%。该框架创新性地将评估模型置于核心，解决语义对齐等问题，还构建了相关基准测试和数据集。
英伟达暂时让全世界松了一口气
美东时间周三盘后，英伟达公布超预期三季度财报，黄仁勋驳斥“AI泡沫论”。此前科技股因泡沫担忧低迷，英伟达业绩成观察AI需求窗口。财报虽亮眼，但市场担忧未消，且财报也有风险，如非核心业务不佳等。
开源项目捐给基金会后又往回要，维护 7 年出钱出力却被告上法庭？网友：捐了代码想收回去靠它赚钱，太无耻！
云原生计算基金会 (CNCF) 与开源消息系统 NATS 背后的 Synadia 公司就 NATS 项目的商标、域名和 GitHub 存储库控制权产生纠纷。Synadia 曾将项目捐赠给 CNCF，如今想“撤回”并变更许可证，双方各执一词，最终达成 Synadia 同意 CNCF 控制相关资产的协议。
前 YC 创始人：在家带四娃，还跑着 11 个 AI Agent
前 YC 创始人现为全职妈妈，带四个娃同时运行 11 个 AI Agent，将其融入家庭教育与生活。分享 Agent 搭建经验、遇的问题及教训，还预测 AI 会逆转生育率下降趋势。
CVPR 2025 Tutorial：从视频生成到世界模型 | MMLab@NTU团队&快手可灵等联合呈现
图像生成普及，视频生成也有高质量发展，可灵、Sora等模型不断拓宽边界。CVPR 2025 Tutorial将探讨视频生成能否成世界模型桥梁、具身智能核心能力等问题，汇聚一线研究者分享。
OpenAI大变革！继续与微软等，以非营利模式冲击AGI
今天凌晨2点，OpenAI宣布继续由非营利组织控制，营利性实体转变为公共利益公司。此前转型营利性公司引发争议，此次调整是听取各界意见后做出，旨在让AI造福全人类。
Anthropic开源Claude小企业插件：不用写prompt，15套现成流程顶半个运营团队
Anthropic开源面向小企业的Claude插件，有15个基础技能、15套业务工作流及懂大白话的路由模块。支持Claude Cowork和Claude Code，操作待确认。日常使用几乎无学习成本，安装配置较简单，亮点是降低交互门槛。
构建 Agent Native 软件的完整技术指南
Dan Shipper 和 Claude 联合撰写构建 Agent 原生软件技术指南，总结如何重新思考软件架构，让 Agent 成软件一等公民。指南源于实战，介绍构建原则、方法、执行模式等，还提及产品影响、移动端挑战及应对。
2篇最新论文，把Deep Research讲透了~
阿里开源Tongyi DeepResearch热度高，文章分享两篇相关技术综述。介绍Deep Research是代理研究新范式，阐述其四大核心模块、优化方法、数据处理、奖励机制，还提及开源系统亮点及相关论文。
开发者不仅编写代码，也在创造世界
智能GitHub Copilot副驾驶等生成式AI技术出现，使编程从“指令式”转向“意图式”。开发者需具备对问题、模型、交互的新“品味”，微软相关工具顺应此趋势，峰会将探讨相关话题。