Per far sì che le macchine facciano dimostrazioni matematiche, trasformale in un puzzle
Marijn Heule trasforma le affermazioni matematiche in qualcosa di simile a un Sudoku, poi fa lavorare i computer su di esse. Le sue dimostrazioni sono state definite “disgustose”, ma vanno oltre ciò che un essere umano può fare.
L’articolo Per far sì che le macchine creino dimostrazioni matematiche, trasformale in un puzzle è apparso per la prima volta su Quanta Magazine
Leggi tutto