А я вот дрыгово не понимаю чего там 8 лет проверять? Ладно раньше ты писал теорему и доказывал ее потом делился ей и ее проверяли тупо выдумывая данные которые при решении могли б показать ее не состоятельность и просчитывали когда все сходится много раз и все заебались она признается состоятельной, но это делалось на бумажке. Но сейчас что там 8 лет делали ХЗ ну просчитали пару раз сошлось забили в комп кинули рандомайзер и хай считает до упора круглосуточно.