Cheap data and the absence of coincidences make maths an ideal testing ground for AI-assisted discovery — but only humans will be able to tell good conjectures from bad ones.
The article is about using computers to discover new conjectures (mathematical statements that are not yet known to be true or false). The conjecture can be then later be formally proven (or disproven) by humans.
Sounds like a good match for me. Formulating conjectures is about finding an interesting pattern and argue that this pattern holds true. Computers are getting increasingly better at pattern matching, so why not use them?
The article is about using computers to discover new conjectures (mathematical statements that are not yet known to be true or false). The conjecture can be then later be formally proven (or disproven) by humans.
Sounds like a good match for me. Formulating conjectures is about finding an interesting pattern and argue that this pattern holds true. Computers are getting increasingly better at pattern matching, so why not use them?
Title is a bit clickbaity by calling it AI.