[key points]

Key points

• •An AI named AxiomProver has solved complex mathematical problems, demonstrating its ability to find solutions that human mathematicians had not identified.
• •The AI tool developed by Axiom combines language models with a specialized system to verify mathematical proofs, opening new perspectives for problem-solving.
• •This advancement suggests a new paradigm where AI assists professional mathematicians, with potential implications for other fields such as cybersecurity.