Yuchen Jin @Yuchenj_UW

2023: GPT-4 almost solved grade-school math 2024: IMO silver 2025: IMO gold 2026 May: Erdős unit-distance conjecture 2026 Sep: Navier–Stokes Millennium Prize Problem solved 2026 Oct: 722 AI-written math manuscripts Today: OpenAI proves ETH is false Tomorrow: P = NP?