Forscher haben ein neuronales System gebaut, das mathematische Beweise automatisch aufräumt. Klingt nerdig? Ist es auch.
NERDMANNERDMAN