4 ms·Terence Tao on "Solving Maths Problems Prematurely with AI Methods3 points by birdculture 1mo ago