Tim Gowers’ thread on Adam Wagner’s work using reinforcement learning to close open graphy theory conjectures
And it's also an interesting proof of concept -- it's hard to imagine that this is the end of the story. Maybe it can be worked into a simple "check your conjectures" tool that would be of great help to mathematical researchers. 6/6— Timothy Gowers (@wtgowers) May 1, 2021