The clever people at DeepMind have built a system to assist pure mathematicians.

Despite its fairly dry reputation, mathematics is highly creative. Mathematicians come up with ideas that link disparate concepts and try to prove them. The ideas are called conjectures. Conjectures are statements that are thought to be true, but have not yet been proved.

DeepMind have built a system that uses supervised machine learning combined with attribution techniques to generate candidate conjectures. It has been applied to two areas of pure mathematics and has generated some novel conjectures. It is an interesting application of ML to a problem that requires 'creativity' or 'intuition'. Another hit from DeepMind.

DeepMind are a strange organisation, an offshoot of Google, whose stated objective is to 'solve intelligence'. They spend millions in hiring the brightest minds in ML, and have produced some excellent research (and PR), but they don't make any money. DeepMinds talks at conferences are always the most inscrutable and equation filled. I guess they represent some kind of long position by Google on AGI, more like a high budget university department than anything else. Good luck to them!