大语言模型离“数学证明高手”还有多远?斯坦福、伯克利、MIT团队提出IneqMath评测标准
Manus数月憋大招,100个Agent并发只为选双鞋?肖弘放话:第一阶段就得先做超贵的AI!
企业级Agent:构建教育服务的自主进化网络|AICon北京
全运会来了,AI全运会也来了!链接顶尖大脑与头部实践企业,让AI落地不止于概念!GTLC大湾区站报名&g[…]
传苹果正在考虑收购PerplexityAI,140亿美元史上最大收购?
AGICamp第008周AI应用榜:买榴莲不靠运气,出远门不怕忘带东西,AI应用全面接管生活是否可行?
大语言模型离“数学证明高手”还有多远?斯坦福、伯克利、MIT团队提出IneqMath评测标准