OpenAI model's plane chromatic number proof called 'alien math'; proof-simplification next
yacinelearning · x · 2026-10-07
A researcher reading OpenAI's model-generated proof that the chromatic number of the plane is >= 6 describes it as unbelievable 'alien math' — the model somehow reduced any K-coloring to a 'weakly measurable' K-coloring out of nowhere. Yacine notes that simplifying machine-generated proofs the way we simplify model-slinged code is the natural next step.
Related event: OpenAI's Planar Chromatic Number Proof Reads Like Alien Math(2 posts)→
More from Models
- Nous Research Launches Hermes Index to Rank Models Inside Hermes Agent — NVIDIAAI · 2026-10-08
- ByteDance Seed Paper Explains Phase Blind Spots in KV Compression Behind DeepSeek's Erratic Long- Context Performance — teortaxesTex · 2026-10-08
- Gary Marcus Slams OpenAI's Vague Math Proof Report: Zero Details, Won't Pass Peer Review — GaryMarcus · 2026-10-08
- Perplexity releases pplx-embed-v2-late: OCR-free late-interaction embeddings topping retrieval benchmarks — perplexity_ai · 2026-10-08
- Anonymous stealth LLM 'Space Bunny Alpha' tops OpenRouter with 22% usage share — maferase · 2026-10-08
- Check Point Breaks Decision Model Jev for About 50 Cents per Attack — evilsocket · 2026-10-08