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
- Gemini 4 Carbon Review: Stronger Coder Than Argon, but Fable 5.2 Raised the Bar — every · 2026-11-14
- Gemini 4 Krypton reportedly hits Opus 5.5-level performance — feblet · 2026-11-14
- Nathan Lambert: Jensen Huang's exit is a decapitation for Nvidia's open-model bet — natolambert · 2026-11-14
- Leak: Google 'krypton' model coming next week, Fable 5.2-level but cheaper — imjustnewatai · 2026-11-14
- OpenAI dissolves robotics team again as GPT-6 Astra can control robots directly — The Decoder · 2026-11-14
- Users report Sol 6.1 has become 'incredibly stupid' lately, making rookie mistakes — graham_dev · 2026-11-14