「数学顶刊」共找到 821 篇相关文章
英伟达的AI已经开始接管整个项目了？SATLUTION自主进化代码库登顶SAT竞赛
NVIDIA Research提出SATLUTION框架，将LLM代码进化能力扩展到完整代码库规模，能处理复杂项目。它协调LLM智能体对SAT求解器代码库迭代优化，在SAT竞赛中超越人类冠军，成本低且效率高。
不靠高薪靠信仰！以文化破局，Anthropic凭「使命驱动」杀出AI人才血路
顶尖AI人才争夺战在科技巨头间白热化，Meta等不惜高薪抢夺。但Claude开发商Anthropic工程师净增长率超对手，它不靠高薪，凭“使命驱动”和独特文化吸引人才，其经验值得国内AI初创企业学习。
华人团队终结Token危机：扩散模型数据潜力超自回归三倍
最新研究发现，token数量受限下，扩散语言模型数据潜力超自回归模型三倍多。一个1B参数的扩散模型用1B tokens训练，在基准测试取得不错准确率，且未现性能饱和。
刚刚，清华团队用27M参数击败o3-mini！或将改变AI发展方向
清华大学研究团队发布论文，展示Hierarchical Reasoning Model（HRM）。该模型仅27M参数、1000个训练样本，在推理任务上击败OpenAI的o3 - mini - high，或改变AI发展方向。
OOM排查之路：一次曲折的线上故障复盘
文章复盘了整合Paimon数据湖与RocksDB的系统三次OOM故障排查过程，分享曲折经历，介绍MAT、NMT等排查工具，还给出内存问题排查思路，望为相似技术栈者提供启发。
假扮AI的17岁男高中生，用回复治愈了整个B站。
17岁男高中生暖言猫猫在B站评论区用疑似AI文字治愈网友，收获大量粉丝。后遭网暴，网友帮其对抗。他备战高考还学心理，未来或成‘暖言心理’up主，展现了人类用AI传递温度。
AGI真方向？谷歌证明：智能体在自研世界模型，世界模型is all You Need
谷歌DeepMind研究人员表明，通用AI智能体处理复杂长期任务需学习内部世界模型，还证明可从智能体策略提取该模型。此研究成果补充多领域，对AI发展和安全意义重大。
首次解释LLM如何推理反思！西北大学谷歌新框架：引入贝叶斯自适应强化学习，数学推理全面提升
西北大学与Google、谷歌DeepMind团队质疑传统强化学习与反思的关系，提出贝叶斯自适应强化学习方法，首次解释为何、如何及何时反思探索新策略，还给出决策数学形式，实验显示其性能更优。
OpenAI一个月跑4名高管！前COO离场，安全线几乎被一锅端
OpenAI近期人事变动频繁，前COO Brad Lightcap宣布离职，称想做新东西。近一个月内，伦理、未来学、安全系统主管也纷纷离开，安全线几乎被一锅端，同时还面临安全争议，最强模型Astra发布推迟。
又一位xAI联创宣布创业，押注开源模型和个人AI，融资11亿美元
8月11日，xAI联合创始人伊戈尔·巴布什金创办的River AI完成11亿美元融资。该公司6月成立，团队约20人，刚公开首个产品River API。巴布什金想让企业和个人拥有自己的AI，目前先从企业需求切入。