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

DAMO开发者矩阵全面启动，速来体验乐云具身智能开发平台！

“机器人一次性卖完太亏！”真机智能刘智勇：今年中国本体厂商将大淘汰，拼的是世界模型

北大&作业帮团队提出Text-to-SQL新框架Interactive-T2S，攻克宽表处理与低[…]

re:Invent特别企划之五天五问②《在手之物》

2025的企业AI市场，Data&AI占据主流视野