The „Can Computers Really Do Math“ article was published on the Sciencesquared.eu server runed by the European Research Council (ERC). It deals with the AI4REASON project (Artificial Intelligence for Comprehensive Computer Assisted Rationale) of a research team led by Josef Urban at CIIRC CTU.