Tag: AI in mathematics
Browse our exclusive articles!
Intentmaking & Sensemaking in AI-Guided Math Discovery
Explore how intentmaking and sensemaking enhance human interaction with AI in mathematical research for deeper insights and collaborative discovery.
OptProver: Advanced Optimization in Formal Theorem Proving
Discover how OptProver bridges Olympiad math and optimization with continual training, boosting formal theorem proving efficiency and accuracy.
Formal Verification of Sphere Packing Problem in Dimension 8
Discover the formal proof of the sphere packing problem in dimension 8 using Lean Theorem Prover and AI autoformalization techniques.
DSR Framework: Neuro-Symbolic Autoformalization via Operator Trees
Discover the DSR framework, a neuro-symbolic approach using operator trees to enhance autoformalization of math problems with improved accuracy and structu...
Insight-Driven Informal Theorem Proving with LLMs
Discover how insight-driven reasoning enhances informal theorem proving using large language models for improved mathematical problem solving.