Per far sì che le macchine facciano dimostrazioni matematiche, trasformale in un puzzle
L’articolo Per far sì che le macchine creino dimostrazioni matematiche, trasformale in un puzzle è apparso per la prima volta su Quanta Magazine
“>
Gli enigmi matematici che Marijn Heule ha contribuito a risolvere nell'ultimo decennio sembrano nomi in codice presi da un romanzo di fantascienza e spionaggio: l'esagono vuoto. Il numero di Schur 5. La congettura di Keller, dimensione sette. In realtà, sono (o, più precisamente, erano) alcuni dei problemi più ostinati della geometria e della combinatoria, che hanno sfidato la soluzione per 90 anni o più. Heule ha utilizzato un esercito svizzero computazionale…
Questa è la traduzione automatica di un articolo pubblicato su Quanta Magazine all’URL https://www.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/ in data Mon, 10 Nov 2025 15:27:09 +0000.