Meta AI Has Built A Neural Theorem Prover That Has Solved 10 International Math Olympiad (IMO) Problems — 5x More Than Any Previous Artificial Intelligence AI System – MarkTechPost

https://www.marktechpost.com/2022/11/13/meta-ai-has-built-a-neural-theorem-prover-that-has-solved-10-international-math-olympiad-imo-problems-5x-more-than-any-previous-artificial-intelligence-ai-system/