https://www.neican.ai/tags/%E5%BD%A2%E5%BC%8F%E5%8C%96%E9%AA%8C%E8%AF%81/ Recent content in 形式化验证 on AI内参 Hugo zh-cn Fri, 12 Sep 2025 18:10:04 +0800 https://www.neican.ai/insights/aigauss18-20250912181004797-0/ Fri, 12 Sep 2025 18:10:04 +0800 https://www.neican.ai/insights/aigauss18-20250912181004797-0/ Christian Szegedy创办的Math Inc.，凭借其AI智能体Gauss在三周内完成了陶哲轩团队18个月的强素数定理形式化工作，展示了AI在高级数学证明领域的革命性能力。这一里程碑不仅加速了科学发现的进程，更以“可验证超级智能”的愿景，预示着AI将深刻重塑科学研究范式、商业模式及人机协作的未来图景。 https://www.neican.ai/insights/ineqmath-20250717164005353-2/ Thu, 17 Jul 2025 16:40:05 +0800 https://www.neican.ai/insights/ineqmath-20250717164005353-2/ 斯坦福、伯克利、MIT团队提出的IneqMath基准，通过创新性的非正式数学推理评估方法，揭示了大语言模型在数学证明中普遍存在的逻辑严谨性不足问题，即便答案正确也常缺乏可靠推理过程。这项研究挑战了单纯依靠模型规模提升智能的传统范式，预示未来AI研究将更侧重于自我批判、知识整合与工具利用，以实现更深层次的“理解”和在科学发现等关键领域的可靠应用。