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
- Encoders and decoders are the same thing, and decoders have been doing classification for years — HanchungLee · 2026-09-18
- Sakana AI Launches Fugu Max, a Multi-Agent Orchestrator Routing Tasks to Leanest Capable Models — tkasasagi · 2026-09-18
- Prediction: Every Future LLM Will Ship With a Native 'Jev Mode' — multimodalart · 2026-09-18
- Why don't LLM labs compete on personality? Users value it over raw capability — dioscuri · 2026-09-18
- Fine-tuned 4B model as a decision scorer with temperature-scaled confidence — Gradio · 2026-09-18
- Inside Astra's ASCII art: coordinate painting with character textures, not SVG conversion — dyot_meet_mat · 2026-09-18