Advancing mathematics research with AI-driven formal proof search
科研动态Science
2026-10-08
Large language models (LLMs) increasingly excel at mathematics tasks, but their unreliability limits their utility in ma…
原文：Science（本页为平台整理的中文摘要，逐句对照原文核对后发布）
Large language models (LLMs) increasingly excel at mathematics tasks, but their unreliability limits their utility in ma…
原文：Science（本页为平台整理的中文摘要，逐句对照原文核对后发布）