「数学应用」共找到 2484 篇相关文章
AI 应用开发的破局之路：字节跳动 Eino 框架实践
在 InfoQ 举办的 QCon 全球软件开发大会上，字节跳动沈桐介绍 Eino 框架在组件抽象和业务编排的创新实践。该框架以大模型为基础，解决应用开发中节点、信息流转和沉淀框架的问题，还给出开发实例，展望了未来重点方向。
千支队伍争锋！首届「启智杯」算法大赛圆满落幕，助推AI应用落地
2025年5月20日启元实验室启动「启智杯」算法创新应用挑战赛，7月25日落幕。赛事设三大赛道，吸引1022支队伍参赛。华南理工大学、陕西师范大学、西北农林科技大学及中山大学团队分获冠军，方案为行业提供启示。
OpenAI连破10道数学难题，Fable 24小时「复现」5道
这个周末，OpenAI与Anthropic两大AI巨头在数学前沿短兵相接。先是OpenAI用未发布模型Astra证明10项数学成果，不到24小时，Anthropic的Fable复现了其中5项。AI解难题成本降低，成果验证成新考验。
DeepMind爆火论文：向量嵌入模型存在数学上限，Scaling laws放缓实锤？
DeepMind一篇关于向量嵌入局限性的论文在AlphaXiv爆火。其证明向量嵌入有数学上限，Scaling laws或放缓。研究构建LIMIT数据集，测试发现即便是先进嵌入模型也难解决简单任务，揭示了RAG系统约束，让人反思Scaling Laws边界。
破解300年数学难题，智能体大突破！谷歌发布超强AI Agent
今天凌晨谷歌Deepmind发布编程AI Agent——AlphaEvolve，它与Gemini深度集成，能评估算法。它解决了300多年的数学难题，还提出新算法，提升大模型计算效率，可优化GPU指令，架构含多模块。
大模型智能体如何突破规模化应用瓶颈，核心在于Agentic ROI
上海交通大学联合中科大研究指出，大模型智能体规模化应用有瓶颈，核心在于Agentic ROI 未达实用门槛。研究提出其发展呈「之字形」，先规模提升信息质量，再轻量化降成本。
突发！曝阿里通义薄列峰离职，此前为应用视觉团队负责人
五一节后爆料阿里通义实验室应用视觉团队负责人薄列峰于4月30日离职。他曾带领团队做出爆款功能，现加入某互联网大厂。今年2月语音团队负责人鄢志杰也已离职，接替人选均成谜。
Claude MCP封印解除，支持对接网络工具，重磅发布应用集成和深高级研究模式
Anthropic Claude迎来重大更新，包括应用集成和高级研究模式，放开连接限制，可连接常用工具及构建自定义连接，融入工作流程，高级研究模式更智能，新功能已向部分用户开放Beta体验。
00 后天才团队，发布全球首个 A 股金融博弈智能体应用
00后团队推出全球首个A股金融博弈智能体应用FinGenius，内测就吸引众多用户。通用AI在A股“水土不服”，而它有16个智能体分工协作，30秒出报告，还集成MCP协议，愿景是重塑金融行业。
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
字节跳动Seed团队与南京大学联合发布CriticLean框架，将数学自然语言到Lean 4代码的形式化准确率从38%提升至84%。该框架创新性地将评估模型置于核心，解决语义对齐等问题，还构建了相关基准测试和数据集。