Terence Tao on "Solving Maths Problems Prematurely with AI Methods

(mathstodon.xyz)

3 points | by birdculture 7 hours ago ago