2Detailed Walkthrough of an AlphaGeometry Proof [video] (opens in new tab)(youtube.com)2manmathmo2y ago0
3When Descartes challenged Fermat (and lost) [video] (opens in new tab)(youtube.com)3manmathmo3y ago0