「推理与计算」共找到 8173 篇相关文章
OpenAI诈骗？GPT-4.1正式上线ChatGPT，网友实测却大呼失望
OpenAI官宣GPT - 4.1在ChatGPT中可用，Plus、Pro和Team用户可访问。它擅长编码和遵循指令，评估表现有优有劣。实测代码处理表现佳，但网友因无100万上下文窗口API版本而失望。
mem0推出王炸mcp工具OpenMemory，打造用户私有、跨应用的共享记忆层
mem0项目推出OpenMemory MCP，这是专为兼容MCP的AI客户端设计的私有记忆层，能解决跨AI工具的Context共享问题。它强调隐私和本地控制，功能实用，获用户积极反馈。
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具，数天迭代至2.0版，可全自动或半自动证明。还支持渐近估计，上手简单、可扩展性强。此外，他用AI 33分钟“盲做”一页数学证明，重塑研究范式。
OpenAI 史上最大一笔收购：挥金 30 亿美元砸向 AI 编码公司 Windsurf
OpenAI拟以约30亿美元收购AI编码初创公司Windsurf，这或成其史上最大收购。此前Windsurf目标估值就是30亿美元。收购可提升OpenAI编码能力，其志在主导AI编码领域。
豆包PC端前负责人，创业Agent操作系统
本文报道前豆包PC端负责人齐俊元离职字节后，正式推出主动式个人Agent操作系统Today，介绍了产品核心特性与齐俊元的创业历程，披露产品核心能力。
Grok 4.7来了！网友实测先把SpaceX玩坏了，大火箭走起
xAI发布新版大模型Grok 4.7，上下文扩展至50万Token，重点提升编码、Agent及复杂长任务能力，多项专业测试成绩提升明显，发布后网友开启花式实测整活。
深度解读：关于 Jev 的几大疑问
本文针对全网爆火的AI模型Jev，梳理业界不同观点，解读其技术路线、核心特性、能力边界与适用场景，解答大众对Jev的核心疑问，客观分析其真实价值。
每周免费送1亿Token！扎克伯格押注王牌产品Muse：AI会24小时替你赚钱，我只负责抽成
本文整理科技记者对扎克伯格的播客访谈，扎克伯格公开反对AI技术被少数机构垄断，介绍了Meta全新推出的个人AI产品Muse的产品设计、商业模式与研发思路。
EMNLP 2026高分论文MathDebugger：当合成数据涌入训练集，如何为数学题做体检？
随着合成数据增多，模型需判断数学数据题目能否被信任。北大DCAI团队提出MathDebugger质检BenchMark，覆盖问答两端，评测主流LLM和PRM。还探究能否判断正误、分类错误、修复数据，证明错误标签可作监督信号。
视频生成比播放还快：开源VDN-H3，14秒视频11秒搞定
近期，网络出现“无限流”视频，源于MiniMax H3。OpenVDN团队开源Video Delta Net（VDN），基于MiniMax H3使视频生成速度提升75到90倍，14.4秒的768p视频11.23秒就能生成。它采用混合思路，性能提升显著。