A new artificial intelligence startup has reportedly solved four long-standing mathematical problems that had previously resisted resolution by human mathematicians. The company’s AI system, designed specifically for formal theorem proving, generated proofs for these complex conjectures. This development highlights the growing capability of AI to assist in and potentially accelerate fundamental research in pure mathematics. The achievement is seen as a significant step in demonstrating the practical utility of AI for deep scientific discovery, moving beyond pattern recognition to logical reasoning and verification. For the full details on the specific problems solved and the methodology, read the complete article at https://www.wired.com/story/a-new-ai-math-ai-startup-just-cracked-4-previously-unsolved-problems/