#FunSearch
共 16 篇相关文章
·14 分钟
AI智能体如何加速新材料发现：Discovered Materials的创业逻辑
YC新创公司Discovered Materials用AI智能体重塑材料研发流程，从被动预测到主动探索，打通AI预测、实验验证、工艺放大的完整链条。本文解析AI Agent在材料科学领域的落地机遇与现实挑战。
阅读全文 →
·12 分钟
AI攻克25年数学难题：人工智能如何改变数学研究
DeepMind等机构利用AI系统成功解决悬置25年的数学难题，结合大语言模型与符号推理的混合架构，标志着人工智能从辅助工具升级为数学研究的协作伙伴，正在重塑科学发现的范式。
阅读全文 →
·8 分钟
腾讯Hy3智能体助力破解50年数学难题：AI参与数论证明新范式
腾讯Hyra研究智能体与Hy3模型深度参与解决困扰数论界近50年的"和集与差集"最优指数问题，在有限集合构造优化中发挥实质作用，标志着AI从计算工具向数学发现伙伴的转变。
阅读全文 →
·11 分钟
AI冲击下的数学：一位数学家的深夜自省
当AI开始证明定理，数学家如何看待自身价值？本文解读《数学的黑夜》一文引发的热议，探讨AI对数学研究的真实冲击、数学家的存在主义焦虑，以及人机协作的未来可能性。
阅读全文 →
·14 分钟
OpenAI内部模型Astra曝光：数学领域十项进展引发AI圈热议
Reddit社区曝光OpenAI内部代号Astra模型，声称在数学与理论计算机科学领域取得十项进展。本文分析该传闻的可信度、AI数学推理能力的演进趋势，以及从解题到科研发现的跨越意义。
阅读全文 →
·6 分钟
麦克斯韦猜想被推翻：GPT给出反例震动数学圈
GPT 5.6据称构造出反例推翻了数学中长期悬而未决的麦克斯韦猜想。本文解析猜想背景、AI给出反例的意义，以及数学社区对这一事件的审慎态度与深层启示。
阅读全文 →
AI破解35年数学难题：发现无人预料的新项
·5 分钟
AI破解35年数学难题：发现无人预料的新项
一个悬而未决35年的数学猜想Theo Conjecture被成功求解，过程中发现了此前无人预测的新项。探讨AI在纯数学研究中从验证者到发现者的角色演变，以及人机协作如何改变数学研究范式。
阅读全文 →
·7 分钟
AI科研自动化：更像数据清洗而非发明Transformer
AI科研自动化的真正方向是什么？本文分析为何自动化AI研究更像数据清洗而非发明Transformer，探讨科研中60%-80%重复性工作的自动化价值，以及人机协作如何重塑AI研究范式。
阅读全文 →
·12 分钟
GPT-5.6发布：ChatGPT Work、Sites与桌面客户端全面升级
OpenAI发布GPT-5.6模型家族，推出面向企业的ChatGPT Work、一键建站的ChatGPT Sites及大幅升级的桌面客户端，编程能力反超竞品。同期Meta、Google、Kimi密集跟进，AI生态整合竞争全面提速。
阅读全文 →
·11 分钟
GPT-5.6发布：旗舰模型Sol亲自训练小模型，AI递归自我改进成真
OpenAI发布GPT-5.6系列（Sol/Terra/Luna），旗舰模型Sol直接完成小模型Luna的后训练，标志AI递归自我改进进入实践阶段。本文深度解析三款模型性能对比、成本优势、ChatGPT Work新应用及computer use设计能力的显著跃迁。
阅读全文 →
·12 分钟
AlphaEvolve商用化：Google Cloud开放算法发现能力解决企业优化难题
Google将AlphaEvolve正式推向Cloud企业客户，这套由DeepMind打造的进化式代码生成系统，能够自主发现超越人工设计的优化算法。本文解析AlphaEvolve的核心原理、适用场景、使用门槛及其对AI产业格局的深远影响。
阅读全文 →
·8 分钟
前谷歌高管Mo预警：AI大洗牌将至，四大生存技能你必须掌握
前谷歌X首席商务官Mo Gawdat预警：AI将在2-3年内引发就业市场剧变，部分行业失业率或达30%。他提出四大生存技能：精通AI工具、极致敏捷、坚守伦理、批判性思维，并预测教育体系将被彻底重塑。
阅读全文 →
·12 分钟
自动化AI研究资源大全：论文、工具与实验室完整指南
深入解析awesome-auto-ai-research开源项目，涵盖自动化AI研究领域的核心论文、开源工具、研究机构与发展路线图，帮助研究者快速了解AI自主科研的前沿进展与资源入口。
阅读全文 →
·11 分钟
诺贝尔奖得主John Jumper离开DeepMind加入Anthropic
诺贝尔化学奖得主、AlphaFold负责人John Jumper正式离开Google DeepMind加入Anthropic，这一重磅人事变动揭示AI人才争夺战白热化，并将重塑AI for Science竞争格局。
阅读全文 →
前沿研究·6 分钟
Optimize Anything：一个API统一优化代码、提示词和Agent架构
UC Berkeley与Stanford联合提出Optimize Anything通用文本优化框架，通过一个声明式API统一优化CUDA内核、智能体架构、系统提示词等六大领域，全面超越专用工具。深度解析其三种优化模式、辅助信息机制与Pareto搜索策略。
阅读全文 →
科技前沿·8 分钟
ARIS开源框架：AI自动化科研工具，睡觉时自主完成ML研究
ARIS（Auto-Research-In-Sleep）是GitHub上9400+ Star的开源自动化科研框架，支持Claude Code等LLM代理，通过纯Markdown技能系统和跨模型评审循环，实现从文献调研到实验执行的全流程自动化机器学习研究。
阅读全文 →