Claude Mythos da Anthropic teria resolvido o problema de décadas de Erdős com uma 'prova simples e charmosa'.

O modelo de IA encontrou uma solução em um fim de semana, demonstrando o enorme potencial da IA na pesquisa matemática.

Gerado por IA: resumos escritos por IA a partir das fontes indicadas. Como usamos a IA