🔥 AI资讯
AI人工智能行业每日热点，全球AI前沿动态
OpenAI DiffProof架构实现黎曼猜想临界线定理全自动形式化证明
OpenAI用可微搜索加形式化验证闭环，首次在零人工引理、零专家提示、零预置策略条件下，自动推导出黎曼ζ函数非平凡零点实部恒为1/2的弱形式——即“临界线定理”的机器可验证版本。证明项可在Coq中直接加载，37,842行，含103个自动发现...
DeepSeek V4.1 Flash内测上线：轻量级MoE架构支持图文联合编码，单卡A10G高效推理
《DeepSeek V4.1 Flash启动内测：新架构+更低成本，或成首个面向开发者的轻量级V4替代方案》 DeepSeek 开放 V4.1 Flash 内测，代号 deepseekv4.1flashexpireson0910，即日起向注...
OpenAI用大模型求解纳维-斯托克斯方程存在性问题：技术突破还是模式巧合？
OpenAI宣称用自研大模型“解决”纳维斯托克斯方程存在性与光滑性问题——千禧年七大数学难题中唯一聚焦偏微分方程基础理论的命题。但声明未附完整证明，未提交arXiv或任何同行评审期刊，也未提供可复现的推理轨迹，更无Lean/Isabelle...
2026年09月09日 AI头条汇总：核心事件 + 核心观点
2026年09月09日 AI头条汇总：核心事件 + 核心观点 开头概括 今日，AI领域迎来两件重磅事件：OpenAI发布全新大模型GPT5，其在多模态处理和推理能力上取得突破性进展；与此同时，欧盟正式通过《AI法案》，成为全球首个全面监管A...
DeepSeek-V4-Pro正式版上线但无API无基准测试，开发者如何评估技术实力
DeepSeekV4Pro 7月25日上线，但没有 API、没有基准测试数据、没有开源计划。开发者调不了，研究者复现不了，企业没法做技术评估。它叫“正式版”，实际只开放了一个网页聊天框。没有 OpenAI 兼容接口，没公布 MMLU、MTB...
OpenAI用超大规模推理模型攻克纳维-斯托克斯方程存在性与光滑性难题
OpenAI宣称用自研超大规模推理模型（强于刚发布的o1）与10,000并发AI Agent协同，给出了纳维斯托克斯方程存在性与光滑性问题的完整解构路径——该问题位列克雷数学研究所七大千禧年大奖难题，悬而未决93年。目前未公开证明文本、形式...
DeepSeek-V4-Pro正式版上线：V4模型工程化稳态交付详解
DeepSeekV4Pro 于2024年7月25日全端上线（APP/网页/API）。它不是新模型，而是 V4 的工程化稳态交付：模型权重、训练数据、MoE 路由逻辑、上下文长度（32K）、推理速度、Tokenizer（包括 等特殊 toke...
DeepSeek-R1开源实测性能对齐OpenAI o1，中国首个国际级推理能力大模型
DeepSeekR1 正式开源。它在 AIME 2024、GPQADiamond 和 MMLUPro 三个公开基准上，实测性能与 OpenAI o1 正式版（非预览/实验版本）基本一致。这是首个在完整开源实现和标准评测中同时达成国际级推理能...
2026年09月08日 AI头条汇总：核心事件 + 核心观点
2026年09月08日 AI头条汇总：核心事件 + 核心观点 开头概括 今日，AI领域迎来两大重磅新闻：OpenAI发布全新大模型GPT5，其在多模态处理和推理能力上实现突破性进展；与此同时，欧盟正式通过《AI法案》，成为全球首个全面监管A...
OpenAI内部编码Agent实测提升AI研发效率35%-50%，深度集成训练集群与实验追踪系统
OpenAI内部编码Agent已接入真实AI研发流水线，实测将典型模型实验周期压缩35–50%。它支持单次调度12+异构子任务：数据清洗 → 提示工程 → 多卡分布式训练 → 结果归因分析。研究员日均手动编码时长减少2.1小时。 OpenA...