Last month, I showed #AlphaGeometry solution to my Olympiad math teacher, Dr Le Ba Khanh Trinh, who was quite legendary in Vietnam as he ranked #1 at IMO 1979 with a special prize given for solving a geometry problem that year so elegantly. Dr. Le was quite impressed as the

→ View original post on X — @lmthang