北大数学家独作论文登数学顶刊！袁新意统一了算术与几何Bogomolov猜想
北大袁新意独作论文《数学年刊》正式接收，解决Uniform Bogomolov猜想问题。文章介绍该成果及其创新方法，强调其对算术几何领域的重要贡献，并提及袁新意的学术背景和成就。
量子位
OpenAI科学家：现有模型+后训练足以产生黎曼猜想的新证明
OpenAI科学家塞巴斯蒂安·布贝克提出AGI时间衡量模型能力，GPT-4可完成人类任务，o1可完成需数小时任务；汤姆·麦考伊质疑LLM解决复杂数学问题的能力受限。双方辩论围绕当前LLM局限性展开讨论，强调数据瓶颈、幻觉问题和缩放方法缺陷。
北大开源首个针对视频编辑的新指标，与人类感知高度对齐｜AAAI25
北京大学MMCAL团队开发了首个用于视频编辑质量评估的新指标VE-Bench，并通过丰富且符合人类主观感受的数据集进行训练。该指标将视频的整体效果分成多个维度进行综合评价，包括文字-目标一致性、参考源与目标的关系、技术畸变和美学标准等多个方面。
把注意力计算丢给CPU，大模型解码吞吐量提高1.76~4.99倍
CMU、华盛顿大学及Meta AI的研究提出MagicPIG，通过CPU上的LSH采样技术缓解GPU内存限制，显著提高LLM解码吞吐量和下游准确率，有望降低模型部署成本。
协议曝光！原来微软OpenAI这样定义AGI
微软与OpenAI秘密协定要求OpenAI研发出带来1000亿美元收益的AI系统才能被视为实现AGI。双方围绕此定义展开谈判，同时存在其他方面的分歧，如产品使用权、云服务独占权等。
Deepseek新模型意外曝光！编程跑分一举超越Claude 3.5 Sonnet
DeepSeek-v3在Aider多语言编程测试排行榜中超越Claude 3.5 Sonnet至第一，同时被评为当前最强开源LLM。模型参数提升显著，结构变化包括使用sigmoid作为门控函数、引入新的Top-k选择方法和调整专家评分等。
