Link to the actual paper: https://www.nature.com/articles/s41586-021-04086-x https://www.nature.com/articles/s41586-021-04086-x This is a twist on an old theme

Link to the actual paper: https://www.nature.com/articles/s41586-021-04086-x https://www.nature.com/articles/s41586-021-04086-x This is a twist on an old theme (just add machine learning!), where, previously, the machines would make the conjectures, and humans would prove them. In this case, it's more along the lines of the machine noticing that certain things are related, which inspires humans to prove that relationship, which eventually leads to the solution of a big, outstanding conjecture. Here is a paper about automated conjecturing in graph theory, if you want to see the other side of the coin. No cool ML stuff, but fun nonetheless: https://www.sciencedirect.com/science/article/pii/S0024379509003061 https://www.sciencedirect.com/science/article/pii/S002437950...