大语言模型离“数学证明高手”还有多远?斯坦福、伯克利、MIT团队提出IneqMath评测标准
为什么DeepSeek大规模部署很便宜,本地很贵
AI编码让资深程序员“掉速”19%!OpenAI前研究员实锤:别再交“AI工具智商税”了,谷歌大佬力挺!