大模型智能体闯入数学证明领域，ProofCouncil挑战开放数学问题，在FirstProof基准中展现惊人推理能力。
arXiv:2607.09474v1 Announce Type: new Abstract: Large language models (LLMs) have shown increasing promise in solving open problems in mathematics. Ho…
AI模型GPT-5.6 Sol Ultra首次给出图论Cycle Double Cover猜想的完整证明，数学界迎来机器推理里程碑。
https://x.com/__eknight__/status/2075643450196971805 , https://xcancel.com/__eknight__/status/2075643450196971805 Prompt: https://cdn.openai.com/pdf/0…
60位作者联合发布，首个评估AI在研究级数学证明生成能力的基准测试，挑战大模型推理极限。
arXiv:2509.26076v2 Announce Type: replace Abstract: As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly …
用10行Python代码数学证明古德哈特定律，揭示指标如何扭曲真实行为。
Your dashboard is lying to you - and we can prove it mathematically. The Pattern You've Seen Before You've lived this story. Every engineer has. Quart…
实测DeepSeek V4 Pro与GPT-4o在SQL优化、素数证明等硬核任务上的性能对决，谁更胜一筹？
DeepSeek V4 Pro vs GPT-4o: Real Benchmark Comparison (June 2026) I ran both models through 20 coding, math, and reasoning tests. Here are the raw numb…
基于LLM自动整理数学证明数据的管道，提升推理任务的数据质量与效率。
arXiv:2606.15258v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly capable of mathematical problem solving and can even ass…
研究指出大语言模型在严格验证复杂数学证明上的缺陷，提出逐步验证新范式。
arXiv:2606.10799v1 Announce Type: new Abstract: Large Language Models (LLMs) struggle to rigorously verify complex mathematical proofs. Standard globa…
上传PDF即可用AI对话提问，快速提取论文要点和数学证明细节，无需手动阅读全文
Article URL: https://www.davidhbailey.com/dhbpapers/Chatbots.pdf Comments URL: https://news.ycombinator.com/item?id=48449567 Points: 1 # Comments: 0
最新研究对比多款大模型在Lean 4中自动生成形式化数学证明的效果，为数学研究者选模型提供参考。
arXiv:2606.05632v1 Announce Type: new Abstract: Within the past few years, the ability of Large Language Models (LLMs) to generate formal mathematical…
用Lean 4证明助手首次实现多边形交集算法的完全形式化验证，确保任意多边形配置下的交集正确性
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agent…
AI模型推翻数学猜想，证明离散几何核心猜想错误，引发学界热议。
https://x.com/wtgowers/status/2057175727271800912 , https://xcancel.com/wtgowers/status/2057175727271800912 Comments URL: https://news.ycombinator.com…