「AI 数学发现」共找到 10120 篇相关文章
腾讯AI Lab 提出解耦推理新框架，破解IMO 数学难题
腾讯AI Lab梁振文和宋林峰提出“解耦推理与证明”框架，解决当前大语言模型在自动化定理证明领域“思考”与“证明”能力失衡问题，成功解决5道IMO难题并开源成果。
EvaLearn：AI下半场的全新评测范式！
OpenAI研究员指出传统基准测试难衡量AI实际效用。复旦大学与字节跳动等团队提出全新评测范式EvaLearn，以连续问题求解为核心，构建问题并设评分标准，对九个前沿大模型研究有诸多发现。
AI"学霸"也解不出高中题？耶鲁、复旦发布MMSciBench，揭示AI理科推理能力短板
耶鲁、复旦等推出MMSciBench评测基准，揭示主流模型复杂科学推理短板。它有高质量数据、多模态多题型测试和精细知识分类体系。测试发现模型图文融合及推理能力弱，英文推理或效果更好。
英伟达可能要给这个 AI Coding 投 10 亿美金，AI 提升电商交易每月增长 100% 的一个典型案例
Bloomberg消息称英伟达或向Poolside投5 - 10亿美金，该轮融资20亿，估值达120亿。Poolside由Github前CTO创立，从AI Coding产品转型基础模型公司，欲通过软件开发实现AGI，还提到AI在电商二手商品售卖的应用。
2026 年，全球 CEO 对 AI 的态度，集体变了
普华永道第29届全球CEO调查显示，CEO们对短期增长信心下降，担忧宏观经济等威胁，但仍大力推进AI投资。多数企业AI投入未获财务回报，不少企业跨界探索，CEO需兼顾当下与未来。
分享10本我觉得AI时代应该必读的好书。
作者推荐10本非AI直接相关但对理解和学习AI有用的书，如《失控》助理解AI本质，《人有人的用处》探讨人机关系，《系统之美》揭示AI使用代价等，这些书构成AI时代底层方法论。
AI终点不是算法，而是业务成果 | 云徙科技@MEET2026
大模型时代，基础模型参数规模不断增大，但企业核心业务中AI真实渗透率低。云徙科技执行总裁毛健认为，AI终点是业务成果，应是‘运营×AI’，还指出AI跃迁为业务主体面临四重鸿沟，云徙科技提出破局方法并分享落地案例。
吴恩达大谈，AI时代就业现状、生存法则。
吴恩达发长文谈AI就业生态，指出市场淘汰只会氛围编程的新人与拒绝用AI的老人。他面试看重三点，直言愿雇懂AI的应届生。约30%CS知识过时，还提及AI面试优势。
国产AI眼镜现状，这里有份沙龙实录｜量子位AI沙龙
量子位举办AI眼镜沙龙，小米、百度等专家指出行业关键挑战刚开始。如续航与常在线矛盾，国内厂商易走错路等。还探讨了技术方案、未来趋势、应用场景等，也有圆桌对话分享挑战与机遇。
大厂CIO独家分享：AI如何重塑开发者未来十年
阿里云智能集团副总裁、CIO 蒋林泉分享 AI 时代开发者竞争力构建。探讨技术贡献衡量、全栈工程师发展、产研与业务提效顺序、知识协作及大厂招人要求等，指出 AI 助发现并解决软件工程问题。