Prova matemática gerada por computador é maior que a Wikipédia

Provas matemáticas podem ser tornar muito extensas. Alguns matemáticos já dedicaram anos preenchendo o texto de suas demonstrações. Mas após o surgimento dos computadores, tornou-se comum o uso de algoritmos para auxiliar na dedução das provas ou até mesmo gerá-las. O problema é que, às vezes, as demonstrações são tão complexas ou tão extensas, que […]

Read More