「数学顶刊」共找到 851 篇相关文章
马斯克挖不动的清华学霸，一年造出 “反内卷 AI”！0.27B参数硬刚思维链模型，推理完爆o3-mini-high
新加坡Sapient Intelligence推出小参数AI模型HRM，能解决复杂推理难题。它受大脑启发，提出“隐性推理”路径，准确率碾压先进思维链模型，推理能力超越o3 - mini - high，经济性突出，任务效率可百倍提升。
AI仅凭“自信”学会推理，浙大校友复刻DeepSeek长思维链涌现，强化学习无需外部奖励信号
UC Berkeley团队提出新训练方法Intuitor，大模型无需接触真实答案，仅优化自身信心就能学会复杂推理。该方法无需外部奖励信号或标注数据，用模型自身置信程度作内在奖励信号，在多任务表现良好。
AI游戏创新大赛线下终极对决！世纪华通发起，ChinaJoy见证最终冠军诞生
7月23日，世纪华通发起的“数龙杯”全球AI游戏及应用创新大赛在上海举办线下路演。20余款AI作品团队展示创新成果，覆盖多领域。评审严格考评，最终结果8月1日在ChinaJoy揭晓。
grok 4一图流
文章展示grok 4核心数据，涵盖训练成本、模型定价，还列举其在通用、专业、数学、推理、编程等能力测试中排名第一的成绩，不过实际水平还有待观察。
拒稿警告，靠大模型「偷摸水论文」被堵死，ICLR最严新规来了
ICLR 2026出台大语言模型使用政策，规范作者与审稿人使用LLM做法，明确需如实披露使用情况并担责，违规将受处罚。其他顶会如NeurIPS、ICML等也有相关规定。
开源AI真人级互动老师，多Agent+可视化画布，函数/思维导图实时作图！
本文介绍开源项目ChatTutor，它是可视化互动式AI老师，能边说边画。有数学画布、思维导图等功能，未来将支持代码、物理等画布，可用于解题、备课等，已上线chattutor.app。
从局部最优到全局跃迁：关于企业“智慧运营中枢”模式的构建与实践思考
文章阐述企业数智化转型历程，指出转型中战略脱节、业技融合难等问题，介绍以企业架构为核心构建的“智慧运营中枢”模式，主张用大模型重塑业务价值链，强调转型是长期变革。
走出 MMLU 的高分幻觉：AI Agent 的「斯坦利时刻」与职场生存法则
文章指出多模态大模型在基准测试分数高，在实际业务流程却像‘职场巨婴’。研究团队构建Trainee - Bench测试顶尖模型，结果显示模型离‘独立上岗’远，凸显提升Agent自主学习性的重要性。
小模型推理极限在哪里？微博开源3B小模型，比肩顶级闭源
微博新开源的VibeThinker - 3B小模型，将特定能力维度性能推向极限。它在数学竞赛、编程等可验证推理基准上表现优异，成绩直逼顶尖大模型。其训练流程层层叠加，还提出参数压缩 - 覆盖假说。
三个月、零基础手搓一块TPU，能推理能训练，还是开源的
加拿大西安大略大学工程师暑期打造开源 ML 推理、训练芯片 TinyTPU。他们非专业出身，从基础学起。还介绍了造 TPU 原因、硬件知识、构建方法，及推理、训练的实现。