「AI 数学发现」共找到 10290 篇相关文章
DeepSeek又又又又发新论文了！这一次，他们重构了AI看图的方式
DeepSeek发布论文DeepSeek - OCR 2，指出传统AI看图方式有误，提出视觉因果流概念。其两阶段级联推理解法效果显著，还可能整合进即将发布的DeepSeek V4，有望实现原生多模态。
国产芯片也能跑AI视频实时生成了，商汤Seko 2.0揭秘幕后黑科技
自Sora 2发布，科技厂商掀起视频生成模型竞赛。12月15日商汤上线Seko 2.0，实现AI短剧‘一人剧组’。其背后的LightX2V框架做到实时生成，还适配国产芯片，有望推动视频创作生产力革命。
DeepSeek-R2尚未问世，微软小模型捡漏称王？6000样本炼出「数学作弊器」！
微软推出Phi-4推理模型系列，参数最多14B，能在本地高性能笔记本电脑上流畅运行。Phi-4-mini-reasoning在数学推理上性能超越DeepSeek-R1蒸馏模型，且参数规模更小。文章还介绍了模型特点、训练方法、性能表现及局限性等。
首个代码世界模型引爆AI圈，能让智能体学会「真推理」，Meta开源
Meta重组后的AI部门推出首个代码世界模型CWM，是320亿参数开放权重LLM。它与传统大模型思路不同，能模拟代码执行。CWM在通用编程与数学任务表现不错，Meta还开放相关检查点以支持研究。
企业级 AI Agent 的终极王牌：从 0 到 1 带你理解 “本体论” 与 6 块核心“积木”。
文章指出大部分企业Agent项目因幻觉、跑偏等问题失败，引出基于“本体论”的企业“本体”工程。介绍企业AI困境、现有工程手段不足，阐述本体可补企业“语义层”及构建本体的6块核心“积木”。
0%通过率！Code神话泡沫！LiveCodeBench Pro发布！
国际算法奥赛金牌得主团队测试20个顶级大模型，在584道编程赛题上，高难度题目AI通过率为0%。论文发布LiveCodeBench Pro评测方法，揭示AI编程能力神话泡沫，指出其问题并给出提升方向。
重磅！谷歌联合 Coinbase 推出智能体支付协议 AP2，AI Agent 们可以互相打钱了
Google和Coinbase联手推出Agentic Payments Protocol（AP2），配合x402稳定币支付轨道，让AI Agent能相互对话并完成支付交易，开启了Agent经济，还展示了全自动化购物流程，微支付场景将爆发。
蚂蚁专用模型超越o3！仅用2K训练样本刷新医疗AI榜单纪录
蚂蚁集团联合团队发布《MedResearcher-R1: Expert-Level Medical Deep Researcher》报告，其医学AI智能体MedResearcher-R1用2100条训练样本在医疗基准测试反超通用大模型，靠数据、工具、训练方法三大创新实现突破。
2.6K Star！GitHub 上这个开源桌宠，用一只小螃蟹就能监控你的 AI 编程助手！
介绍开源桌宠 Clawd，它是为 AI 编程助手设计的实时状态监控器，有 12 种萌趣动画状态，支持 10+ 主流工具，具备权限审批等实用功能，零配置开箱即用。
AI驱动的实时全球情报情报系统，绝大多信息免费！覆盖全球实时情报的多个维度！
实时全球情报仪表盘是AI驱动的态势感知界面，集成新闻聚合、地缘政治监测与基础设施追踪。数据源多为免费公开API，低延迟更新。有多种功能，技术栈丰富，聚合多领域65+外部数据源。