Terence Tao on “prematurely solving [a maths] problem by purely AI-powered methods” (via tmcb) — discussion
#ai #math
