Jake Boggan reflects on AI proof of the Barnette conjecture after 24 years of work
Quoting Jake Boggan
- Who
- openai
- When
What happened
In a Hacker News discussion of OpenAI's openai/math project, Jake Boggan said he had spent 24 years and thousands of hours on the Barnette conjecture and thought he had solved it last summer. He said the conjecture is now 'reportedly proved' (problem 180), and that hearing the news left him with a distant sadness.
Keep reading
Latest daily · Issue 24NVIDIA and AI4Bharat Introduce Nemotron-pretraining-Indic-v1 and an Open Data Generation PipelineTrending now
- 1Meta Releases Muse Spark Open With Mac and Cloud Support, Topping US Open-Weight Index
- 2Google Launches Gemini 4 Argon Globally, Expands Paid Access as Benchmark Results Vary
- 3OpenAI Updates GPT-6 Astra Pro in ChatGPT With Parallel Agents and Faster Responses
- 4Meta’s New Business Terms Raise Dispute Over Website Crawling and AI Training Rights
Tomorrow at 08:00, a briefing like this arrives in your inbox.
The same kind of briefing as the one above: a few stories worth reading. Free. Mail starts after you confirm, and every letter has a one-click unsubscribe. Read a past issue · 2026-10-17