All Questions

I would like to ask about examples where experimentation by computers has led to major mathematical advances. A new look Now as the question is five years old and there are certainly more examples of ...

There are notable examples of computers "proving" results discovered by mathematicians, what about the opposite: Are there interesting conjectures "discovered" by computers and proved by humans? ...

I would like to ask about recent examples, mainly after 2015, where experimentation by computers or other use of computers has led to major mathematical advances. This is a continuation of a question ...