Dokážou počítače opravdu dělat matematiku?

0
688
Na serveru Sciencesquared.eu provozovaném Evropskou výzkumnou radou (ERC) byl uveřejněn článek „Can computers really do math?“ (Dokážou počítače opravdu dělat matematiku?) o projektu AI4REASON (Artificial Intelligence for Large-Scale Computer-Assisted Reasoning) výzkumného týmu vedeného Josefem Urbanem na CIIRC ČVUT.