Jornal Do Brasilia - Da un IA la soluzione a uno dei 'problemi matematici del millennio'