https://www.neican.ai/tags/ai%E6%95%B0%E5%AD%A6%E5%AE%B6/ Recent content in AI数学家 on AI内参 Hugo zh-cn Mon, 01 Dec 2025 17:10:05 +0800 https://www.neican.ai/insights/article-20251201171005207-1/ Mon, 01 Dec 2025 17:10:05 +0800 https://www.neican.ai/insights/article-20251201171005207-1/ AI数学家“亚里士多德”利用强化学习、蒙特卡洛树搜索及Lean形式化证明系统，在6小时内成功破解困扰30年的埃尔德什问题#124简版。这一突破不仅展现了专业AI Agent在复杂数学推理上的强大能力，超越了通用大模型的局限性，更预示着数学研究将进入人机协作的“vibe proving”时代，并将加速形式化方法在商业和科学发现领域的广泛应用，重塑人类认知与探索的边界。