Timothy Gowers yesterday pointed to an interesting paper by
Adam Wagner which "appeared on arXiv a couple of days ago and
uses reinforcement learning to find non-trivial counterexamples
to several conjectures in graph theory."

https://arxiv.org/abs/2104.14516

I think it might interest some readers here as well.

P.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)