A random discussion about Gowers's ATP Project

Stream: general

[Kevin Buzzard]

Update: I've had a chat with Tim, the blog post has been changed again, and he'll change the pdf. That's quite enough about me; I'd be far more interested in hearing from the AI/ML people about how feasible Tim's project is.

[Eric Wieser]

Johan, maybe it's worth reposting your original message and renaming this thread to something else?

[Johan Commelin]

@Eric Wieser Good idea. Done.

[Johan Commelin]

Sorry, I did the moving a bit clunky. But it should be fine now. @"everyone": If you made some comment about this project that didn't have anything to do with LTE, feel free to repeat it in the new thread.