AI and Mathematics Research – Yikes (N.J. Wildberger) · HackerLangs