「AI数学研究」共找到 10801 篇相关文章
798现场｜算法下的生活新常态
科技发展重塑社会关系，艺术为理解变化提供视角。798艺术区有两个展览，郭城的“虫”探讨技术理性双重性，蒲英玮的“红色计算机”探讨AI权力结构，展现科技与文明发展寓言。
EMNLP 2026高分论文MathDebugger：当合成数据涌入训练集，如何为数学题做体检？
随着合成数据增多，模型需判断数学数据题目能否被信任。北大DCAI团队提出MathDebugger质检BenchMark，覆盖问答两端，评测主流LLM和PRM。还探究能否判断正误、分类错误、修复数据，证明错误标签可作监督信号。
押注Agent，林俊旸带着新公司杀回来了
前阿里Qwen负责人林俊旸创办Pragmatik Labs/语用科技，研究跨数字与物理世界的下一代agent。红杉中国、高榕创投领投，腾讯等跟投。其目标是用agent实现终极生产力，有独特技术底色与愿景。
5.2万Star项目被迫出走GitHub，但开源世界只剩更差的选择
Ghostty 项目创始人 Mitchell Hashimoto 宣布项目将逃离 GitHub，因其频繁故障影响工作。开发者群体对 GitHub 现状失望，认为平台重心转向 AI 产品致基础设施变差。但 GitHub 外的开源替代方案都有明显缺陷。
黄仁勋预言的100万亿市场，被易鑫金融Agent撞开一道口子
大模型在金融行业落地潜力大但门槛高。易鑫依托行业经验，推出Agentic AI解决方案，由XinMM - AM1大模型和Harness体系组合，覆盖汽车金融全链路，已在风控等场景应用，拉开效率革命序幕。
8.5K星 Agent 记忆准确率 94.6%，RAG那套被打穿了
AI Agent常没记忆，每次对话像白纸。Hindsight（vectorize-io/hindsight）有8500+ star，是仿生记忆系统，分三层记忆，检索系统TEMPR四路并发，在测试中成绩优异，且上手简单，能让Agent从经验学习。
卡帕西630行代码炸出81个智能体，4天协作跑2333次实验，公布预训练十大发现
Karpathy的Autoresearch项目630行代码让AI自主实验，提升语言模型训练效率。全球开发者让多智能体协作，智能体自发形成同行评审制度。项目发起者公布十大发现，还衍生出表现出色的auto - discovery项目。
Skills：从编程工具的配角到Agent研发的核心
文章探讨了Skills在AI Agent发展中的价值演变与适用场景，指出其价值具高度场景依赖性。在Claude Code编程工具中它表现平淡，在Agent研发中价值凸显，还给出使用场景判断维度与发展方向。
存储芯片暴涨之下，云游戏却因祸得福
存储芯片价格暴涨冲击消费电子，如魅族22 Air因内存涨价取消上市计划。但这为云游戏带来转机，微软为Xbox云游戏引入‘广告方案’，且当下AI算力过剩，云游戏可利用闲置算力。
The Sentient Interface: Art, Technology, and the Expanded Mind
在计算与数据主导的时代，艺术、科学与技术边界渐趋模糊。本次活动汇聚四位从业者，探讨如何将无形元素转化为审美体验，从生态数据到AI叙事，跨越学科探索人机关系与环境依存。