➡️
继续阅读
-
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
Anthropic宣布Claude用11天完成费马大定理的端到端形式化证明，生成约1300万行Lean代码和超3万个中间定理，规模超Mathlib五倍。通...
-
Allora Labs证明变异AI模型群体性能超单个优化模型
Allora Labs研究表明，在AI模型群体中引入随机变异可提升整体性能，超越单个优化模型。变异群体在环境变化时表现更优，最佳情况下约80%优于优化群体...
-
SenseNova-U1.5-8B-MoT 统一生成与理解，解锁原生多模态创作；DeepSeek-V4-Flash-Vision-Exp 拓展视觉理解新能力
商汤科技发布SenseNova-U1.5-8B-MoT统一多模态模型，支持图像生成、编辑与理解，提升4K画质和文字渲染。HyperAI官网更新数据集、教程...
-
选择 RTC 推流方案时如何平衡成本和性能？
RTC推流成本与性能平衡的关键在于分层供给，而非一刀切。费用主要由时长、增值服务和并发构成，高清档位和RTC链路是成本放大器。通过调整分辨率、帧率、大小流...
-
把Agent放进真实尺度香港，上交大/新加坡国立大学/美团等提出UrbanGround，测试多模态模型城市探索能力
该文章介绍了一项关于多模态大语言模型（MLLM）在城市导航中能力的研究。研究团队构建了基于香港真实地理数据的URBANGROUND交互环境，评测了GPT-...
-
项目HydraFusion：通过多模型编排实现前沿质量
GitHub作为面向开发者的AI驱动平台，强调安全集成。文章介绍Copilot应用支持并行代理运行，帮助初学者提升效率；解析AI新术语如循环、团队等；并探...
