Fermat

AI formaliza teorema de Fermat em apenas 11 dias

Com a ajuda de inteligência artificial, uma empresa criou uma prova formalizada do famoso teorema de Fermat em...