Tim Gowers — Web Pulse coverage

OpenAI : une IA a résolu un problème de maths irrésolu depuis 1946... en toute autonomie :: https://wpnews.pro/news/actualite-openai-une-ia-a-resolu-un-probleme-de-maths-irresolu-depuis-1946-en
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed :: https://wpnews.pro/news/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed