🚀 An AI startup just cracked the Chen‑Gendron conjecture and three other long‑standing math puzzles, using the Lean proof assistant and advanced automated reasoning. Their open‑source stack blends machine learning with theorem‑proving, showing how AI can push the frontiers of pure mathematics. Curious how they did it? Read the full story! #AI #LeanTheoremProving #ChenGendron #AutomatedReasoning

🔗 https://aidailypost.com/news/ai-startup-solves-chengendron-conjecture-cracks-four-unsolved-problems