Le Monde — Pixels · Europa
A IA Claude formaliza em onze dias a demonstração do último teorema de Fermat
O agente da Anthropic traduziu a demonstração para uma linguagem de programação, o que permitiu sua verificação automática.
Compartilhar esta notícia