OpenAI Says a Secret AI Model Cracked Hundreds of Open Math Problems in One Prompt—Mathematicians Want Receipts Özet: Kripto piyasasında önemli gelişmeler yaşanıyor. Somehow the model found that any K-coloring “weakly measurable” K-coloring, which seems out of nowhere 1/2 pic.twitter.com/W13ScT3nel — Dmitry Rybin (@DmitryRybin1) October 7, 2026 I’m formalising OpenAI’s Saxl’s Conjecture proof in Lean