搜索：大模型推理系统

「大模型推理系统」共找到 9204 篇相关文章

突破125年世纪难题！北大校友联手科大少年班才子破解希尔伯特第六问题

1900年希尔伯特提出23个数学难题，其中第六个‘物理学的公理化’被称为数学物理的终极挑战。125年后，北大校友邓煜、中科大少年班马骁与陶哲轩高徒扎赫尔・哈尼在该问题上取得重大突破，填补了牛顿力学与玻尔兹曼方程间的逻辑鸿沟。

文章围绕中国科技出海展开，对比 A、B 路径，分析中美市场特点，指出中国软件市场是试炼场，还阐述开源项目全球化路径，认为新加坡可作出海首站，最后推荐 AICon 北京站活动。

苹果WWDC 2025未推出预期AI应用矩阵，股价下跌引失望。但实则是深思熟虑之举，它开放端侧模型及工具，让开发者创新，规避风险，待AI成熟凭借优势“后发先至”。

作者分享在Facebook四年工作的总结反思。包括目标规划、工作价值判断、处事态度、技术与产品关系等多方面体会，如明确目标、做有价值工作、少片面结论等。

华尔街日报消息，Reddit起诉大模型平台Anthropic，指控其非法访问网站10万次，用用户数据训练AI。Reddit称已和OpenAI、谷歌达成合规合作，此次起诉为求赔偿并让Anthropic履约。

Meta与约翰霍普金斯大学联合推出CrossFlow框架，实现跨模态生成新突破。它基于流匹配提出新范式，无需依赖噪声分布等，在多任务上媲美或超最优算法，训练成本低、速度快，还能适配多任务。

微软开源命令行文本编辑器`Edit`，专为Windows Terminal设计，支持多系统。它轻量高效，功能丰富，兼容Windows生态，还有鼠标模式。开源半月获7.2K+ star，提供多种安装方式。

音乐传奇 Rick Rubin 提出 Vibe Coding 是编程界的朋克摇滚，即无需精通技术，凭想法和表达就能创造。他本人照片成该编程范式象征。不过 Vibe Coding 引发争议，有人批评也有人看好其未来。

文章详细介绍传统RAG和GraphRAG技术，前者通过向量搜索检索上下文，但无法体现数据关系；后者用知识图谱提升检索效果，亮点是构建图谱、整合信息。还指出两者优缺点，建议结合使用。

红杉中国开放AI和Agent基准测试工具「xbench」，采用双轨评估体系，构建多维度测评数据集。首期发布两个核心评估集并排名，提出垂类Agent评测方法论。该工具旨在解决现有评估问题，关注AI真实场景效用。