Testing Frontier Math Skills: Proving Theorems Harder Than Finding Counterexamples
doodlestein · x · 2026-08-01
While testing the math research capabilities of frontier models, the author noted that finding counterexamples is impressive, but constructing long proofs to turn conjectures into theorems is significantly harder and generally more useful. They joked about picking too tough a problem for the model evaluation.
Related event: AI Math Test: Good at Finding Counterexamples, Struggles with Proofs(5 posts)→
More from Models
- Trying Grok bot surfaces an unpaid Cursor balance, blocking account merging — haydendevs · 2026-10-16
- TensorFold 1.0.12 runs 120B vision model on 1-2 DGX Sparks, adds Mac image input — HankYeomans · 2026-10-16
- Leaked screenshot shows unannounced Gemini 4 Argon gated to Ultra and paid Pro subscribers — il_-bro · 2026-10-16
- Google: Gemini 4 Argon lands in Antigravity, code submissions up 35%, rollbacks down ~33% — tekbog · 2026-10-16
- Google's "ungrounded beliefs" classifier injections derail Opus 4.1's reasoning chain — liminal_bardo · 2026-10-16
- A week of ChatGPT Pro quota burned in 36 hours as GPT-6 fails to factor a 512-bit RSA key — matthew_d_green · 2026-10-16