AIBullisharXiv – CS AI · 18h ago7/10
🧠
Advancing Mathematics Research with AI-Driven Formal Proof Search
Researchers demonstrated that AI-driven formal proof systems can autonomously solve open mathematics problems, resolving 9 Erdős problems and 44 OEIS conjectures at modest computational cost. This breakthrough validates LLMs as practical research tools when combined with formal verification systems like Lean, marking the first large-scale evaluation of this approach on genuinely open problems.