https://ai-news-online.com/explained/openai-722-math-manuscripts-lean-explained/AI News Onlineen2026-10-07OpenAI's 722 maths papers explained: what Lean checks, and what it can't https://ai-news-online.com/explained/openai-textgrain-eu-text-watermark-explained/AI News Onlineen2026-10-06OpenAI's textGrain explained: a watermark hidden in ChatGPT's word choices https://ai-news-online.com/briefing/2026-10-07/AI News Onlineen2026-10-07AI today, 7 October 2026: OpenAI's 722 machine-written maths papers, Mistral's 1T 'Le Chonk', Google's 3.6 GW nuclear deal https://ai-news-online.com/briefing/2026-10-06/AI News Onlineen2026-10-06AI today, 6 October 2026: New York puts the AI labs under oath, Reflection unveils Beam, Pentagon says it has dropped Claude