Discussion about this post

User's avatar
John C's avatar

Innovation creates chaos in the short term, and progress in the long term.

In the future there will still be mathematicians, and there will be no 'end' of math to be discovered. Ask Gödel.

There is a frontier in science/knowledge. Every new breakthrough and tool just pushes that frontier back a bit.

And scientists move out to that frontier, and continue pushing. Sometimes, when a big move happens, a whole older generation is left behind, and a new generation is required to replace them.

And so it goes.

Siddharth Krishnakumar's avatar

AI solving mathematical problems is no doubt good for society. I understand why the mathematicians are grieving, but I think they may be confusing the end of one version of mathematics with the end of mathematics itself. New tools have always moved the frontier of mathematics (we went from paper and pencil to calculators to Mathematica to automated theorem provers to eventually AI). Did we consider the beauty of mathematics to be lost then?

As always happens when innovation occurs, I can see the field splitting into 2 modes: 1) modern mathematics and 2) human mathematics.

1) Modern mathematics - I think it's almost beautiful that we don't totally understand AI's path to the solution because that leaves room for us to interpret it. Our new role for mathematicians may partly become understanding AI's path to the answer and seeing who can do so in the most efficient way. Why does novelty have to mean being the first intelligence to discover the answer?

2) Human mathematics - just like human chess is still valuable even though we have engines like Stockfish, mathematics is still an art (all science has an art to it). We still have math competitions where we solve by hand even when calculators exist. We've always recognized solving as an art.

In addition, let's say AI solves a theorem with a long ugly proof. Mathematicians can still focus on a more elegant approach to the proof. They can still discover the meaning in the proof.

As with all innovation, we can use AI's power to push the frontier, while still preserving the art for us to enjoy.

19 more comments...

No posts

Ready for more?