Mathematician's Fargues-Scholze bounty reportedly solved for ~$50 with a Pro subscription
ctjlewis · x · 2026-09-18
- Mathematician Tony Feng publicly challenged a bold claim, posing the conjecture that the Fargues-Scholze correspondence is finite-to-one for E8 over a p-adic local field when p>7, betting on a correct solution or retraction within 72 hours.
- David Turturean says he solved it with "GPT-6-Astra Pro" — not within 72 hours, but for roughly a week of a Pro subscription ($50 prorated), declining to "throw thousands of dollars at a tweet" via Codex.
- A full manuscript (PDF and TeX source) has been posted on Google Drive; the episode feeds the ongoing debate over whether frontier models can do serious mathematical research.
More from Models
- Claude upgrade-page traffic rebounded to 17.6M in September, near May's 18.6M peak — firstadopter · 2026-11-02
- Open-source GLiNER-PII scrubs 13 identifiers from a discharge note in 550ms on GPU — MaziyarPanahi · 2026-11-02
- OpenAI Dots user says bloat and broken infra drove him to try newcomer Muse — Koala_Confused · 2026-11-02
- Fable 5.5 reportedly one-shots animation in pure code as Anthropic's coding bet pays off — Hesamation · 2026-11-02
- One agent goal has been running for 4 days, burning 30K tokens — CtrlAltDwayne · 2026-11-02
- Daily AI Brief: Gemini 4 Carbon spotted on Arena, DeepSeek open-sources coding agent — testingcatalog · 2026-11-02