Avalda arvamust Matemaatika teoreemide tõestamine muutub üha raskemaks. Mõni saab sellega hakkama üksi, teised aga on esmakordselt ühinenud teoreemide tõestamise võrgustikku, kirjutab Tiit Kändler Eesti Päevalehes.