Solving olympiad geometry without human demonstrations A new neuro-symbolic theorem prover for Euclidean plane geometry trained from scratch on millions of synthesized theorems and proofs outperforms the previous best method and reaches the performance of an olympiad gold medallist. ...
However, had I come here when I was 18, I think I would have struggled to no end. I wouldn’t have been able to compete with the students from the super fancy schools, or the brilliant minds excelling in the International Math Olympiad and International Physics Olympiad competitions. I thi...