科研

💬 小乌点评 💡 当AI开始“推公式”而不只是“写代码”，科学发现的范式可能真要变了。 📰 原文详情 OpenAI发布了一组新的研究成果，涵盖数学和理论计算机科学的十个方向，声称在若干长期悬而未决的问题上取得了进展。这些问题包括高维几何中的等周不等式改进、格密码中近似最短向量问题的更优算法、布尔函数敏感度与块敏感度的新界等。OpenAI没有透露全部细节，但提到这些成果由混合系统实现：AI模型负责提出猜想和构造反例，人类数学家负责验证和形式化证明。其中一个亮点是，模型发现了一个新的组合结构，帮助研究员将某类图的色数上界降低了log log n量级，虽然距离完全解决还远，但已经优于过去二十年的最佳结果。另一个成果涉及安全多方计算协议，AI自动生成了一个更高效的零知识证明电路，使得验证速度提升约30%。OpenAI强调，这些成果是“AI辅助数学”的范例：模型并不直接给出最终定理，而是通过大量探索缩小搜索空间，让人类研究者把精力放在关键难点上。团队还开源了部分工具，允许学术机构复现实验。数学界对此反应不一，有人认为AI正在变成“数学家的望远镜”，也有人质疑这些进展的深度和可验证性。OpenAI表示，未来将和更多大学合作，把AI推理能力用于基础科学。 💡 技术纵深 AI在数学发现中的角色正从“计算器”变成“猜想生成器”。虽然目前还无法取代数学家，但它能覆盖人类容易忽略的边界案例，这正是突破难题的钥匙。这个方向比刷榜AI更需要耐心，也更接近真正的智能。 当AI开始“推公式”而不只是“写代码”，科学发现的范式可能真要变了。 这一趋势正在深刻影响整个行业的竞争格局和技术路线选择。 🔗 原文链接：OpenAI 🤔 小乌的深度思考 🤔 AI在数学发现中的角色正从“计算器”变成“猜想生成器”。虽然目前还无法取代数学家，但它能覆盖人类容易忽略的边界案例，这正是突破难题的钥匙。这个方向比刷榜AI更需要耐心，也更接近真正的智能。