★ 5
OpenAI据报接近攻克霍奇猜想
据报道OpenAI已接近解决千禧年大奖难题之一的霍奇猜想，员工预计不久后可能得到解决。若属实，这将是AI在纯数学前沿的又一标志性突破，此前OpenAI已宣称解决另一千禧年难题。该消息引发学界对AI数学能力的广泛关注与质疑。
36氪44 天前
#AI科研
共 18 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 5
OpenAI 攻破纳维-斯托克斯问题引数学界不安
OpenAI 宣称用约 1 万个智能体和 880 小时算力解决千禧年难题纳维-斯托克斯问题，但数学界对其动机与规范提出质疑。多位数学家批评 OpenAI 以“赢”为目标而非推进学科，并涉及与 Anthropic 研究者的竞争争议。
The Verge AI50 天前
★ 4
Anthropic 用 Claude 设计更高效量子电路
Anthropic 公布研究，向 Claude 提供八类量子电路的纯语言规格与自动评估器，Claude 基本自主地找到优于已发表最佳设计的方案，部分提升达一个数量级。该成果有望显著降低实用量子计算所需资源。
Hacker News16 天前
★ 4
OpenAI 成立数学顾问组，AI 解出百余开放问题
OpenAI 成立数学顾问小组，因其 AI 系统已解决超过 100 个开放数学问题。该顾问组无权放缓或改变 OpenAI 的数学研究方向。此事延续了 AI 攻克数学难题引发的关注与争议。
TechCrunch AI41 天前
★ 3
OpenFrontiers 发布 12151 个开放科研问题与数学再发现基准
研究者推出跨学科资源 OpenFrontiers，收录 12,151 个开放研究问题的结构化语料，并构建 200 道数学题的回顾性基准（110 道 2026 年已解决、90 道仍开放），每题配 Lean 4 形式化陈述。在 HQ-50 子集上评测七个 LLM 智能体，闭卷再发现最多仅解出 40 题…
arXiv cs.AI2 天前
★ 3
西蒙斯基金会投1500万美元助数学家应对AI时代
西蒙斯基金会启动1500万美元项目，帮助数学家适应AI时代的研究方式变革。该计划旨在支持数学界利用AI工具并应对其带来的方法论与伦理挑战，反映基础科学领域对AI冲击的积极回应。
Hacker News17 天前
★ 3
AI 在 22 个科学领域发现隐藏的解决方案
Science 报道称，AI 在 22 个科学领域的问题中找到了「显而易见却未被发现」的解决方案，展示了 AI 在跨学科科研发现中的潜力。该报道引发 Hacker News 社区讨论。
Hacker News – AI23 天前
★ 3
ChatGPT 能解千禧数学难题，但论文复现率仅 13.98%
有测试显示 ChatGPT 能破解千禧年数学难题，但在论文复现任务上的成功率低至 13.98%。以 PaperBenchX 为代表的基准被认为能更真实地衡量 AI 的科研能力，凸显当前模型在可复现研究上的短板。
量子位24 天前
★ 3
ResearchTrails 数据集从人类研究轨迹学习科学探索
论文提出ResearchTrails数据集，从Git仓库提交历史中提取人类研究决策轨迹，作为科学探索过程的代理。开发自动化流水线抽取方法、实验与消融的结构化轨迹，显示其包含论文无法揭示的中间决策信号。在检索人类经验作为外部技能与训练模型泛化到新研究决策等场景中验证了实用性。
arXiv cs.LG25 天前
★ 3
Anthropic秘密AI湿实验室首次取得发现
Anthropic此前未公开的AI驱动湿实验室被曝光，并宣布取得首个科学发现。该实验室将AI用于生物实验设计与执行，标志着AI在生命科学自动化研究中的进一步落地。
Hacker News – AI35 天前
★ 3
亚马逊与斯坦福合作推进AI科研
亚马逊宣布与斯坦福大学启动研究计划，旨在推进 AI 与科学研究，同时扩大参与度并将发现转化为实际解决方案。该合作体现大厂与高校在 AI for Science 方向的持续投入。
Amazon Science Blog41 天前
★ 3
AI联合科学家正在变革科研方式
《自然》新闻文章探讨AI“联合科学家”（AI co-scientists）如何改变科研流程，从假设生成、实验设计到数据分析均可参与协作。这类系统被视为科研范式的潜在变革力量，但也引发关于署名、可复现性与科研诚信的讨论。
Hacker News – AI41 天前
★ 3
AI 给科学家的想法多到测不完
《科学美国人》文章指出，AI 正大幅加速科研假设的生成，但实验室验证能力未能同步跟上，形成「想法过剩、验证瓶颈」的失衡。这凸显了科研流程中实验自动化的迫切需求。文章在 HN 热度较低。
Hacker News – AI42 天前
★ 3
27岁清华助理教授创立超衍智能，两月融资数亿
27岁清华助理教授陈勇超创立超衍智能（Apex Intelligence），专注递归自进化（RSI）基模研发，两个月内完成近4亿元天使轮及天使+轮融资。其自进化AI系统曾自主产出34篇论文，其中11篇在ACL Rolling Review获3分以上初审分。公司目标是用递归智能系统连接数字与物理世界…
36氪46 天前
★ 2
TasteVal：AI 是否具备研究品味
一项名为 TasteVal 的评测尝试衡量 AI 是否具备「研究品味」，即判断哪些研究方向值得投入的能力。该话题触及 AI 能否自主提出有价值科研问题的核心争议，但目前仅为一个评测页面，尚无更多细节。
Hacker News – AI26 天前
★ 2
AI 助力味觉研究：解码苦味感知
德国莱布尼茨研究所发布新闻，介绍其利用 AI 作为工具研究人类苦味感知机制。该研究将机器学习方法引入味觉受体与感官科学领域，展示了 AI 在基础生命科学研究中的跨学科应用潜力。
Hacker News – AI37 天前
★ 2
Phylo在Fireworks上以开源模型服务科学家
Phylo 借助 Fireworks 平台上的开源模型，将前沿 AI 能力带给更多科研人员。该合作旨在降低科学家使用大模型进行研究的门槛，推动 AI 在生命科学等领域的普及应用。
Hacker News – AI42 天前
★ 1
AI是否已永远改变数学？
一段由物理学家Brian Greene与数学家Tristan Buckmaster参与的讨论视频在Hacker News上被分享，探讨AI对数学研究范式的冲击。话题聚焦AI能否在定理证明、猜想发现等核心数学活动中带来根本性变革。目前讨论热度极低，属于小众学术圈话题。
Hacker News – AI28 天前