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.
More from Models
- Gary Marcus: OpenAI's Astra is Vastly Oversold, Math Breakthroughs Don't Mean AGI — Gary Marcus · 2026-08-03
- Only OpenAI Mastered Reasoning, Yet DeepSeek Tops Benchmark with Medium Effort — teortaxesTex · 2026-08-03
- Gemini Video Generation Backlash: AI Pro Subscribers Get Fewer Credits Than Free Users — Captain-Thump · 2026-08-03
- Fail: Google Gemini Botches a Simple Counting Task — polo421 · 2026-08-03
- Cutting AI Coding Bills from $200 to $20/Month: 105 Bugs Tested — PawelHuryn · 2026-08-03
- Ornith 35B Outperforms Qwen 3.6 and Laguna S in Open-Source Showdown — S_Anv · 2026-08-03