Quanti

Articoli di Quanta Magazine tradotti dall’inglese al Vogon e dal Vogon all’italiano.

Quanti

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