# Verification Matters When AI Claims to Solve Mathematics Problems

DevFeed: [Verification Matters When AI Claims to Solve Mathematics Problems](<https://devfeed.tech/articles/the-verification-problem-40140.md>)

Original publisher: [Read original article](<https://korbonits.com/blog/2026-05-23-the-verification-problem/>)

Published: 2026-05-23T00:00:00Z

Content type: opinion

Language: en

Sources: [Alex Korbonits](<https://devfeed.tech/sources/alex-korbonits.md>)

Topics: [Artificial Intelligence](<https://devfeed.tech/topics/ai.md>), [math](<https://devfeed.tech/topics/math.md>), [OpenAI](<https://devfeed.tech/topics/openai.md>), [Mathematics](<https://devfeed.tech/topics/mathematics.md>)

Tags: [ai](<https://devfeed.tech/tags/ai.md>), [mathematics](<https://devfeed.tech/tags/mathematics.md>), [openai](<https://devfeed.tech/tags/openai.md>), [verification](<https://devfeed.tech/tags/verification.md>)

## AI overview

The article contrasts an unverified OpenAI claim about solving Erdős problems with a later result on the planar unit-distance conjecture that was accompanied by a paper and reviewed by mathematicians. It argues that verification, rather than simply generating proofs, is the central challenge as AI-produced mathematics becomes cheaper.

## Source excerpt

An AI disproved one of Erdős's favorite conjectures. The interesting part isn't the proof -- it's who read it, and what happens when nobody can.