大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT团队提出IneqMath评测标准

颠覆Cursor，AI编程不再需要IDE！用并行智能体重构开发范式，MongoDBCEO高调站台

AI大模型重塑学习硬件：从工具到伙伴|网易有道孟旭

Agentica项目的开源DeepCoder模型在编码基准上优于OpenAI的O1

AIInfra工程师们如何应对大模型流水线里的“暗涌”？