字节张一鸣重回一线？消息人士：不存在；MiniMax被曝将赴港IPO；Ilya拒绝扎克伯格公司收购后其CEO被[…]

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

中国大模型落地应用研究报告2025