Самое большое математическое доказательство в мире «весит» 200 ТБ

может, он (суперкомпьютер) просто устал считать и решил сделать число 7824 такой своеобразной границей)