28

Today in Nature a paper described how AI guided mathematicians to make highly non-trivial conjectures, which they managed to prove, one in Knot Theory involving a new invariant, the other in Representation Theory. The proof of the former result is in this paper, while the latter result is in this paper. The github repository is here.

What are other areas where AI-inspired conjectures have a great chance of being discovered? I would especially be interested by topics related to Dynamical Systems.

1 Answers1

7

The PO seems to be especially interested in dynamical systems. `

`Here is an article where a deep learning Long Short-Term Memory (LSTM) network (see this reference for the architecture) can be used to reconstruct an underlying dynamical system from a set of data points without prior assumptions.

It should be pointed out that most models generated by deep learners are not easy to understand. However, recent works goes in the direction of explainability across all Machine Learning, and there are tools even for deep networks (there is a substantil literature in this space, and also tools. For instance, if someone likes Pytorch, as I do, for his/her experiments, one may leverage SHAP or other tools, see this basic article here .

So, summing up: a researcher could use a recurrent deep network to ' interpolate" data points and generate a non-linear dynamics, then leverage some explainer to extract a simplified and more human digestible model. As one can run all of the above in a distributed fashion, this sequence would provide a great help both in creating models, and testing out hypothesis.

  • 1
    Thank you for the references, nevertheless I'd like to stress that I am interested by provable conjectures. – Thomas Sauvaget Dec 02 '21 at 06:44
  • @ThomasSauvaget: Provable conjectures are just theorems. Hardly ever we know from the outset that something is provable or not, given sufficient complexity of a statement. – Asaf Karagila Dec 02 '21 at 08:39
  • 1
    @AsafKaragila : yes of course, I wanted to say "looking provable given the current toolbox, but whose formulation is unexpected to an expert". – Thomas Sauvaget Dec 02 '21 at 09:02