Found 1 bookmarks
Custom sorting
Tim Gowers’ thread on Adam Wagner’s work using reinforcement learning to close open graphy theory conjectures
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
·twitter.com·
Tim Gowers’ thread on Adam Wagner’s work using reinforcement learning to close open graphy theory conjectures