| A panel of AI researchers and founders — Peter Diamandis, Alex Wissner-Gross, Emad Mostaque — just sat with a number that's hard to argue with: $2,000 in compute, and ten decade-old, previously-unsolved math problems came back with machine-checkable proofs.
Not "AI is getting better at math" in the abstract. A Fields Medalist said he'd recommend one of the proofs for publication without hesitation. A cosmologist called it "a dark night for mathematics" — "the old gods are being slaughtered by the new machine gods."
Then Emad closed it flat: "It's a bad time to be a pure mathematician."
Here's what they're not saying yet.
The engineering knowledge wasn't rare. The judgment — catching the mistake before it became permanent — was.
Same pattern here. Ten unsolved proofs, correct on paper, for $2,000. The correctness was never the scarce part.
Hmm — this actually pulls the same thread as a post I put up about the corporate ladder losing its entry-level rungs to AI. Different profession, same mechanism: whichever rung gets automated first isn't random, and the people still standing on it are the ones who saw it as a pattern instead of a headline.
Drop your take — is judgment actually the thing that survives this, or is that just the story we tell ourselves until it's our turn? [link] [comments] |