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.
Celý článek je k dispozici zde: https://www.sciencesquared.eu/artificial-intelligence#ai-question-3-can-computers-really-do-math .