An OpenAI model recently disproved a math conjecture the great Paul Erdős posed in 1946 — and human mathematicians confirmed the result. A sharp essay asks whether machine-generated proof counts as real mathematics. The answer shapes how we should use AI everywhere, money included.

OpenAI announced that one of its models disproved a longstanding conjecture — the “unit distance problem” posed by mathematician Paul Erdős in 1946 — and human mathematicians verified that the result holds. That’s a genuine milestone: a machine produced a correct, checkable piece of new mathematics.
The essayist’s deeper question is whether that counts as doing mathematics. Math, he argues, has always been a human, social activity — understanding, communicating, and building on ideas — not just generating a correct string of symbols. The right posture, he concludes, is to treat AI as a powerful partner to be checked, not an oracle to be trusted blindly.
That’s exactly how we use AI on this desk. It’s a phenomenal tool for crunching, scanning and drafting — but the judgment, the “does this actually make sense for this family,” stays human. A model can produce a correct-looking answer the same way it produced a correct proof; our job is to verify it against reality before it touches a real portfolio. Use the machine; never outsource the understanding.
Want to talk about where a theme like this does — and doesn’t — belong in your plan? Bring your statement; we translate the headline into a position-level decision.
Book Q2 Review →View Portfolios →