It's not at all clear whether the kind of math created by LLMs will retain the usefulness of the old math. LLMs are good at rigor but bad at intuition. It's not even really clear if the rigor was ever all that important. Theoretical physics is full of people using math in ways that don't meet the bar of rigor that mathematicians set for themselves, but they have enough physical intuition for what they're doing, so it doesn't matter. It's an open question whether post-LLM math will continue to supply scientists with the kinds of ideas that they need from it.

Because it comes across as "ooh, you're just going through the five stages of grief, dummy! Look I've taught you psychology 101. Now that you know about grief, you might as well skip to the next cycle already. Support me on Patreon. Like, comment, subscribe"

Pointing out that someone is "just" grieving is not helpful.

I'm seeing this a lot in the past months of AI-for-math discussions. Had to get this off my chest.

Given the trajectory of LLMs to date I see them helping construct proofs for conjectures but not devising new conjectures of any material substance any time soon. The challenge is, as Tao has said elsewhere, part of being able to formulate a conjecture is by exploring the landscape around it by doing proof research. Seeking answers finds useful questions. The fear is the tools will take away the exploration of the landscape. But that’s silly IMO. It takes a special type of lazy to let a tool take away your understanding that’s important for what you’re goal is, and a special type of passion to learn with a powerful tool. The passionate will adapt and progress will accelerate, not slow down.

For instance Tao has posted some of his interrogations of proofs with AI assisted reasoning and it didn’t seem to diminish his ability to establish insight rapidly, but to shut down avenues rapidly and to pivot and expand his understanding rapidly. The insight was all his own, as was the path of inquiry. The understanding of the output was his as well. He carries it into tomorrow and uses it to formulate new more interesting conjectures the next day. The AI ceased to “exist” as soon as the inference turn was over.

The hand wringing is pointless and lame. John Henry moves aren’t necessary or useful, and when I see a tunnel boring project now I see tons of people well employed there, just the holes are bigger and better, and they’re engineers instead of strong backed hammer slingers.