Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"

En 3 lignesClaude Mythos d'Anthropic résout la conjecture d'Erdős (1946) peu après qu'OpenAI l'ait réfutée. Sholto Douglas rapporte une preuve « mignonne et simple » trouvée « le week-end », suggérant un « sérieux surplomb » dans les découvertes mathématiques assistées par IA.

Résumé généré par Claude — vérifié par l'humain