Testing if GPT-4o Can Replicate Frontier Model Astra's Math Proof
danshipper · x · 2026-08-03
A developer challenged GPT-4o to reproduce the proof for Erdős's planar unit distance conjecture, originally solved by OpenAI's frontier model Astra, by providing conceptual hints. The experiment tests the theory that weaker models can often replicate frontier-model discoveries if given the right cues.
Related event: Prompt Distance: Can Weaker Models Reproduce Frontier Proofs?(6 posts)→
More from Models
- ChatGPT co-inventor launches Jev: claims 20-200x faster, 40-400x cheaper than LLMs — GabGarrett · 2026-09-18
- Ran Jev across 10 services for hours, still couldn't spend $1 — multiply_matrix · 2026-09-18
- Tencent's Hy4 Preview ranks #4 among open-weight models, cheapest in top ten — mariofilhoml · 2026-09-18
- Simple letter-counting test exposes huge gap: GPT-6-Astra hits 93%, Fable 5.1 flounders — scaling01 · 2026-09-18
- Jev, a 'System One' model by Typesafe, launches on OpenRouter with typed decisions instead of text — majidmanzarpour · 2026-09-18
- Zhipu claims AI autonomously discovered a WeWorm-exploitable vulnerability — teortaxesTex · 2026-09-18