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