Věda a technika
Stroj vyřešil problémy otevřené desítky let. Těžší bude poznat, na čem záleží
Deset problémů, na které odborníci deset let neznali odpověď, padlo během jednoho experimentu a elektřina za výpočet stála zhruba dva tisíce dolarů. Skutečná potíž ale nezačíná u toho, jestli jsou strojové důkazy správné, nýbrž u toho, kdo ještě pozná, které z nich stojí za přečtení.