「数学推理能力」共找到 4723 篇相关文章
用Diffusion构建「AI虚拟细胞」，14项指标霸榜！Mila唐建团队破解单细胞「破坏性」测序难题
Mila唐建团队发表PerturbDiff，跳出前人认知盲区，将“细胞群体的概率分布”视为随机变量。它引入数学工具建模，让MMD内生于体系，在多项基准测试霸榜，还提供应对数据稀缺的思路。
评论送书 | Al智能体与传统AI应用的区别？它如何工作？如何快速构建智能体？
文章对比AI智能体与传统AI应用，指出前者更像“乐高积木”，可融入生活工作。介绍其工作是“感知—推理—执行—学习”循环，还给出快速构建通用方法，如明确目标、选框架等。
天选Windows打工AI来了！实测完Claude Cowork国产版：超顶
硅谷Claude Cowork出圈后，国产昆仑万维Skywork桌面版登场。它支持模型自由切换、海量Skills集成，实测任务完成率高、速度快、有自纠错机制，依托上下文能力升级，是国产AI创新力量的展示。
独一份！带动效的 PPT 生成 Agent！使用教学&创作思路
作者实现用 Nano Banana Pro 生成带演示动画的 PPT 这一独特功能。介绍了更新后的 PPT 生成 Skills 能力、使用方法、创作思路，还提及成本及对 AI Coding 发展的看法。
数学界地震！GPT-5连破10道「百年悬案」，陶哲轩：AI革命才刚开始
两位研究人员用GPT - 5仅一个周末就解决10个埃尔德什难题，GPT - 5还在另外11个问题有显著进展。数学家陶哲轩称AI最有成效应用是处理琐碎耗时环节，重塑数学研究。
景不动人动，MLLM如何面对「移步换景」的真实世界？OST-Bench揭示多模态大模型在线时空理解短板
上海多所高校研究者提出 OST - Bench，从智能体探索场景动态在线视角挑战大模型能力。它更贴近真实世界，揭示主流多模态大模型在线时空理解短板，为未来模型发展指明方向。
Meta CTO打脸扎克伯格：首秀翻车全因致命bug，AI智商捉急、语音交互全面崩盘
Meta Connect开发者大会上，Meta发布三款智能眼镜，现场演示却屡屡翻车。扎克伯格归咎于Wi-Fi，CTO Bosworth否认，称是资源管理失误和软件bug所致，但网友对此解释并不买账，质疑团队能力。
独家专访FF创始成员：造车11年交付16辆，贾跃亭为什么还没失败｜甲子光年
贾跃亭创办法拉第未来11年，仅交付16辆车。今年他推出新车FX Super One进军MPV市场，引发“抄袭”争议。贾跃亭靠“桥梁战略”“开源节流”和“个人资源能力”让FF存活，该车能否如期销售待察。
华为版《黑客帝国》首次亮相：训推复杂AI前先“彩排”，小时级预演万卡集群
华为首次亮相数字化风洞虚拟环境平台，可在训推复杂AI模型前“彩排”，小时级预演万卡集群。其包含Sim2Train、Sim2Infer、Sim2Availability，分别解决训练、推理、高可用问题。
爆冷！字节Seed 在CCPC 决赛只做出一道签到题，而DeepSeek R1 直接挂零？
第十届 CCPC 举行，字节 Seed 携 Seed - Thinking 参赛，结果意外，仅做出一题，DeepSeek R1 挂零。不同模型架构表现差异不大，暴露出大模型做算法题短板，推理模式表现更好。