Dynamic Geometry: open a new era of next-generation AI driven by mathematics [pdf]github.com/wchswchs2 pointswchswchs8 months ago