Самое большое в мире математическое доказательство занимает 200 Тб данных

На модерации Отложенный

Исследователи создали самое большое в мире математическое доказательство решения проблемы Пифагоровых троек, использовав колоссальные 200 Тб данных - предыдущий рекорд был "всего" 13GB.

Огромные размеры возникли по причине того, что рассматривается явный диапазон (почти 1 трлн) возможностей, связанных с закрашенными целыми числами. Вы могли бы технически использовать 68 Гб сжатую версию у себя дома, но это займет около 30 000 часов времени для обработки данных.

Гигантское доказательство может решить эту проблему, но оно не обеспечивает последовательного объяснения того, как получаются результаты. В каком-то смысле, это как обман на экзамене. Вы можете знать ответы, но не знать, как их получить.