> ## Content Index
> Fetch the complete content index at: https://adjacent.media/llms.txt
> Use this file to discover other available public pages before exploring further.

# Fields Medalist: LLMs Solve Math Problems Mostly Through Counterexamples, Not Proofs
- URL: https://adjacent.media/signals/fields-medalist-llms-solve-math-problems-mostly-through-counterexamples-not-proofs/
- Published: 2026-08-16T16:04:57.000Z
- Updated: 2026-08-16T16:04:57.000Z
- Description: Gowers distinguishes between disproving conjectures via counterexamples—computationally tractable—and constructing proofs, which requires deeper conceptual reasoning.
- Author: Jonathan Greene
- Tags: #signal, theme-ai, llm capability, mathematical reasoning, model limitations

Source: [Wordpress](https://gowers.wordpress.com/?ref=adjacent.media)

Gowers distinguishes between disproving conjectures via counterexamples—computationally tractable—and constructing proofs, which requires deeper conceptual reasoning. LLMs excel at verification and refutation where exhaustive search works, but haven't demonstrated the synthetic reasoning that drives major mathematical breakthroughs. The limitation is real: they're pattern-matchers that can find what doesn't work, not architects of why something must be true.