A beleza da matemática nem sempre corresponde à verdade científica. Uma teoria pode revelar uma elegância extraordinária e, ainda assim, estar errada. Esta relação entre estética, conhecimento e descoberta continua a alimentar o debate entre matemáticos e filósofos, sobretudo numa época em que a inteligência artificial começa a desempenhar um papel crescente na investigação. Segundo uma reflexão publicada pelo jornal brasileiro Folha de S.Paulo, a procura da beleza matemática levanta também uma questão sobre os limites da criatividade humana e das máquinas.
Um dos exemplos mais conhecidos remonta a 1596, quando o astrónomo Johannes Kepler publicou a obra Mysterium Cosmographicum, propondo um modelo do Sistema Solar baseado em cinco sólidos platónicos encaixados entre as órbitas dos planetas. Mercúrio estava associado ao octaedro, Vénus ao icosaedro, a Terra ao dodecaedro, Marte ao tetraedro e Júpiter ao cubo, enquanto Saturno ocupava a esfera exterior. O modelo impressionava pela harmonia geométrica. Faltava-lhe, contudo, correspondência com a realidade. A descoberta de Urano, em 1781, veio tornar ainda mais evidente a insuficiência daquela explicação, mostrando que uma construção matematicamente elegante não constitui, por si só, uma garantia de verdade.
A procura dessa perfeição marcou também o pensamento do matemático húngaro Paul Erdös, que imaginava a existência de uma obra divina onde estariam reunidas as demonstrações mais belas e perfeitas de todos os teoremas. Chamava-lhe simplesmente «O Livro». Para Erdös, acreditar em Deus não era indispensável, mas acreditar na existência dessas demonstrações ideais fazia parte da própria essência da matemática. Algumas das provas que considerava particularmente elegantes acabariam por inspirar a publicação póstuma de Provas d’O Livro, organizada por amigos e colaboradores. A simplicidade, a surpresa e a capacidade de revelar ligações inesperadas entre conceitos eram características fundamentais dessa beleza intelectual, comparável, em determinados aspectos, à emoção provocada pela literatura ou pelas artes plásticas.
A expansão dos computadores e dos algoritmos na produção de conhecimento matemático acrescenta agora uma dimensão inédita ao debate. As máquinas conseguem efectuar cálculos complexos, explorar padrões e contribuir para demonstrações que ultrapassam a capacidade de trabalho individual dos investigadores. Reconhecer a beleza de uma descoberta, porém, continua a ser uma experiência profundamente associada à sensibilidade humana. Os resultados actualmente produzidos por algoritmos ainda não impressionam particularmente pela sua elegância, mas os avanços da inteligência artificial poderão alterar esta percepção. A matemática aproxima-se, assim, de uma nova fronteira, na qual a capacidade de encontrar uma solução poderá deixar de ser suficiente para distinguir o engenho humano da inteligência das máquinas. Resta perceber se um algoritmo poderá algum dia reconhecer, com a mesma intensidade de um matemático, a beleza escondida numa demonstração.
