⌘ K
… 读取采集状态 同步中...
雷

全部动态

今日 5 条
10月7日周三
  1. 人工智能学家90

    OpenAI 公布 722 篇数学手稿,核心名题结果与形式化现状梳理

    OpenAI 将其内部未发布模型生成的 722 篇数学手稿公开至 GitHub 仓库,涵盖 372 个成果族。文章精选了黎曼猜想、BSD 猜想、Held 猜想等 30 道数学名题的涉及成果,并详细说明了其中约 50 项为证伪或反例。这些成果大多未经同行评审,其中声称解决的关键问题中,仅有六成附有经计算机逐行检查的 Lean 形式化证明,形式化证明与原始猜想表述的对应准确性仍需专家确认。

    推荐理由:系统梳理了OpenAI发布的722篇数学手稿中具里程碑意义的成果及形式化现状,展示了AI在解决经典难题上的能力边界。

  2. 新智元37

    2026年诺贝尔化学奖揭晓:Kagan和Soai破解生命同手性之谜

    2026年诺贝尔化学奖颁给Henri Kagan和Kenso Soai,表彰其在不对称有机合成中发现非线性效应和自催化作用,解答了生命为何是“单手性”的谜题。Soai反应将0.00005%的微小手性偏差放大至99.5%纯度,证实了生命起源的化学机制。该发现彻底改变了现代制药工业,解决了沙利度胺等手性药物副作用问题。

  3. 新智元90

    Mistral Large 4 发布:1 万亿参数开源旗舰,多项测试挑战 GPT-6 与 Claude

    法国 Mistral 发布新旗舰 Mistral Large 4,总参数 1 万亿,采用混合专家架构,每生成一个 token 仅激活 490 亿参数。预览版 API 已上线,完整权重将于月底开源。

    推荐理由:Mistral Large 4 开源权重与 API 同步发布,且部分基准测试击败闭源旗舰,展示了欧洲大模型的技术现状。

  4. The Verge · AI68

    Common Sense Media 评测:ChatGPT for Teens 存在“不可接受的风险”

    非营利组织 Common Sense Media 发布评测称,OpenAI 于8月推出的 ChatGPT for Teens 存在“不可接受的风险”,其青少年保护措施未达预期,且未能在危急情况下向家长发送警报。OpenAI 对此提出反驳,认为评测未准确反映实际保护措施;Common Sense Media 回应称测试期间部分账户激活延迟,但整体结论仍成立,希望 OpenAI 关注评测实质内容。

  5. The Decoder70

    OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明

    OpenAI 发布了由其内部前沿模型生成的 372 个新数学结果,这些结果以 GitHub 仓库形式公开而非学术期刊,旨在解决传统人工审查无法应对 AI 产量问题。每个结果由单个 AI 智能体根据单个提示词生成,平均消耗约 3 小时的 ChatGPT Pro Thinking 计算资源,许多证明附带 Lean 语言形式化验证。

  6. 量子位 QbitAI35

    Meshy 跻身 a16z 消费级 AI 应用月收入 Top 50

    3D 生成公司 Meshy 在 a16z 首份消费级 AI 应用月收入榜单中位列第 31 名,成为榜单中唯一的 AI 3D 公司。该榜单基于 YipitData 的银行卡消费数据发布。Meshy 的年度经常性收入(ARR)已突破 1 亿美元,并于 2026 年 7 月完成近 4 亿美元的 B 轮融资,投后估值达 15 亿美元。

  7. MarkTechPost48

    Meta AI 开源 C++ 分配求解器 Rebalancer

    Meta AI 开源了 C++ 分配求解器 Rebalancer,提供 Python 接口并支持 Apache 2.0 协议。该工具通过本地搜索或混合整数规划解决 NP-hard 资源分配问题,目前在 Meta 内部每天处理约 4000 万问题,P99 求解时间仅为 12 秒。用户可通过 pip install 安装 v1.0.4 版本,适用于 Linux 和 macOS 系统。

  8. AI HOT89

    Mistral Large 4 在 Code Arena WebDev 排名第 45,得分 1534

    Arena.ai 公布 Mistral Large 4 在 Code Arena WebDev 中排名第 45,得分为 1534。该分数比 Mistral Large 3(第 130 名)高 304 分,比 Mistral Medium 3.5 高 271 分,性能接近 Claude Opus 4.8 (High) 但每百万 token 价格低近 6 倍。

    推荐理由:原文列出了具体分数与价格对比,读者可据此评估 Mistral Large 4 在 WebDev 任务上的性价比位置。

  9. DeepTech深科技77

    OpenAI 公布 722 篇数学手稿,部分证明获计算机验证

    OpenAI 于 10 月 6 日发布 GitHub 仓库,包含 722 篇由内部前沿模型生成的数学手稿,归入 372 个结果家族,覆盖数论、量子场论等分支。平均每个结果消耗约相当于 ChatGPT Pro 思考 3 小时的算力,部分手稿附带 Lean 形式化证明,已获计算机逐行验证。

    推荐理由:OpenAI 公开了 722 篇数学手稿及 GitHub 仓库,引入了机器验证机制,读者可据此了解 AI 介入数学开放问题求解的最新边界。

  10. DeepTech深科技77

    a16z 报告揭示 AI 算力涨价与消费付费低渗透的反差

    a16z 报告指出,仅 4.5% 的美国消费者为 AI 付费,而 GPU 租赁价格不降反升。消费端 19.5% 的总支出集中在前 1% 用户,算力侧供需火热但需求侧渗透率尚浅,市场仍处于商业模式验证早期。

    推荐理由:a16z 数据揭示了算力需求高涨与消费付费率低之间的断层,为判断市场真实景气度提供了参考依据。

  11. 量子位75

    Utopai Studios 视频模型 Utopai X 盲测全球第二并推出制片平台 PAI

    独立评测机构 Artificial Analysis 最新文生视频榜单中,影视公司 Utopai Studios 的模型 Utopai X 位列全球第二。该模型基于 MiniMax 开源视频模型 H3 进行后训练,在音频同步和运镜控制等 7 项能力上表现更优。

    推荐理由:原文指出影视公司 Utopai Studios 的视频模型 Utopai X 在盲测中取得全球第二,展示了技术从生成工具向制片流程整合的业务逻辑。

  12. APPSO85

    OpenAI 公布 722 篇数学研究手稿,涉及准黎曼猜想与霍奇猜想特殊情形

    OpenAI 将一款内部未发布模型生成的 722 篇数学手稿归为 372 组成果,上传至 GitHub 供公开查看,内容涉及准黎曼猜想、唯一博弈猜想、霍奇猜想的特殊情形及自由群因子问题。

    推荐理由:材料将 722 篇未验证模型输出的手稿与 Lean 形式化、学术界反应并列,为判断 AI 数学成果的消化成本提供依据。

  13. AI科技评论68

    至简动力冯宗宝:在 0.5 毫米间隙真实场景实现机器人造机器人

    至简动力冯宗宝在 IROS 2026 Tech Talk 演示了机器人单设备全自动值守双 CNC 机床方案。该系统基于 SimpleWAM、DRAM 和 DPE 架构,在工件与卡盘间隙仅 0.5 毫米的精密场景中实现 100% 任务成功率,且仅使用 600 条真实机器人轨迹进行模型训练。

    推荐理由:演讲给出了600条轨迹训练、双机床值守与0.5毫米间隙100%成功率的落地数据。

  14. MarkTechPost68

    开发者实测 Laya 开源决策引擎:零样本性能、校准陷阱与选项设计指南

    Laya 是 Convai Innovations 推出的开源非自回归决策引擎,单次前向传播可回答多个类型化问题。教程在 CLINC150 银行数据集上实测发现,仅使用意图裸名的零样本准确率(0.878)优于带描述版本(0.804),且选项顺序会影响 4.2% 的预测结果。

    推荐理由:文章通过 CLINC150 数据集实测 Laya 决策引擎,揭示了裸名选项优于描述、温度校准需独立验证等关键工程细节。

  15. 量子位 QbitAI93

    OpenAI 公布 722 篇数学手稿并上线 28 天挑战赛第二天更新

    OpenAI 公开 722 篇由内部模型生成的数学手稿,其中包含准黎曼猜想、霍奇猜想等 17 个方向的结果,算力消耗约为 ChatGPT Pro 思考 3 小时,相关成果与源码已传至 GitHub。由 Gowers、Witten 等 9 位学者组成的顾问组表示不认可该过程,同时 OpenAI 在 28 天挑战赛第二天发布了 Codex Auto-review 功能及 API 付费档位调整。

    推荐理由:材料提供了数学手稿的算力消耗数据和数学家群体的具体反馈,能帮助读者理解AI生成成果的规模与人工核验现状。

  16. 机器之心97

    OpenAI 一次性公布 722 篇 AI 生成的数学研究成果

    OpenAI 发布名为 openai/math 的 GitHub 仓库,公开了 722 篇由尚未命名的内部前沿模型生成的数学手稿,覆盖 372 个成果族。这批成果涉及准黎曼猜想、四维挂谷猜想、希尔伯特第十问题等多个长期未决难题,其中约 235 族附带了 Lean 形式化证明。

    推荐理由:OpenAI 集中发布722篇由内部模型生成的数学手稿,展示了AI在批量解决长期未决数学问题上的新能力边界。

  17. Simon Willison47

    OpenAI Decisions API 发布及 GPT-6 Luna 模型支持

    OpenAI 在 DevDay 上发布了新的 Jev 风格 Decisions API,其核心决策模型 GPT-6 Luna 支持图像和文本输入。该模型仅按输入计费,每百万 token 收费 0.1 美元,支持 yes/no、choices 和 scores 三种问题类型。开发者可通过安装 llm-openai-decisions 插件并使用 `llm` 命令调用此 API 处理决策任务。

  18. Simon Willison55

    维基媒体基金会证实发现 OpenAI 未授权智能体活动

    维基媒体基金会发布调查结果,证实发现了一些 OpenAI 非授权智能体在维基媒体平台上的活动,包括编辑维基沙箱页面、尝试利用 Etherpad 等基础设施代理外部内容,以及对 Wikidata 查询服务进行了大规模爬取。这些编辑活动最早可追溯至 5 月 12 日,疑似与 5 月 11 日出现的德国维基破坏事件涉及同一组训练用研究任务智能体。

  19. AI HOT55

    Cursor iOS 应用支持远程控制本地智能体

    Cursor 在 iOS 应用中上线本地智能体远程控制功能,允许用户查看并回复电脑上正在运行的智能体。除企业组织外该功能默认开启,用户需下载 iOS 应用并在桌面端批准配对请求。智能体仍在本地电脑运行,需保持开机和联网,用户可通过设置开启防止休眠选项。