Navegando: gerador de conjecturas

Usando IA e automação por computador, os pesquisadores do Technion desenvolveram um ‘gerador de conjecturas’ que cria conjecturas matemáticas, que…