Sharing AI progress on mathematics (amazing); and my lecture plans gilkalai.wordpress.com 1 point by speckx 6 days ago