Uma IA refutou cinco conjecturas matemáticas sem ajuda humana

Por

Gráfico

Shutterstock / ktsdesign

Uma inteligência artificial refutou cinco conjecturas matemáticas – teoremas não comprovados – apesar de não estar equipada com nenhuma informação sobre os problemas.

Adam Zsolt Wagner, da Universidade de Tel Aviv, em Israel, usou uma abordagem de IA para procurar exemplos que refutassem uma série de conjecturas de longa data na teoria dos grafos, uma área da matemática que envolve o estudo de objetos feitos de nós e links. Os matemáticos pensaram que essas conjecturas eram verdadeiras, mas não foram capazes de prová-las.

Para cada conjectura, Wagner criou uma medida de quão perto um exemplo estava de refutá-lo. Por exemplo, se uma conjectura propôs que um certo problema …

Leave a Reply

Your email address will not be published. Required fields are marked *