Claude 3.5 Helps Disprove 80-Year-Old Jacobian Conjecture
gregd_nlp · x · 2026-08-01
Bespoke Labs introduced ConjectureBench. The article highlights that frontier AI models are now helping solve decades-old math problems, citing @alpoge's use of Claude 3.5 to disprove the Jacobian conjecture, which had remained open since 1939.
More from Models
- Mistral touts STEM benchmark win, but leaderboard shows it ranking sixth overall — MistralAI · 2026-10-16
- Local tool calling compared: how Gemma 4, Llama 3 and Mistral differ — leslysandra · 2026-10-16
- $2 Gemini Pro accounts flood the gray market, spawning waves of AI spam comments — huangyun_122 · 2026-10-16
- Haider: Opus 5.5 vs Astra on SWE tasks — Astra has a higher floor, reasoning in a tier of its own — haider1 · 2026-10-16
- Artificial Analysis launches Decision Index for the emerging decision model category — ArtificialAnlys · 2026-10-16
- Liquid AI's d1-ultra tops Artificial Analysis Decision Index with 85% non-hallucination rate — ArtificialAnlys · 2026-10-16