Aby stroje vytvářely matematické důkazy, proměňte je v puzzle

Marijn Heule převádí matematická tvrzení na něco jako Sudoku hádanky a nechává je řešit počítače. Jeho důkazy byly označeny za „odporné“, ale překračují možnosti jakéhokoli člověka.

Číst původní článek

Zdroj: 📰 Quanta Magazine