reddit/r/singularity

r/singularity ai

After OpenAI’s CDC proof announcement, GPT-5.6 used a similar prompt to close a 30-year gap in convex optimization, verified in Lean

u/Charuru 2026-07-18 UTC 1 min read

GPT‑5.6 leveraged a prompt

→ View original source

← Back to homepage