Простейше доказательство важнейших математических истин возможно?

Question

Саня: Я тоже люблю математику. Боб: Очень прошу, это не шутка: Саня: только я потом переведу, я по-английски только со словарём. Боб: Не надо, всё просто: Др. Риман доказал, что число контр-примеров против Гипотезы Римана не может быть конечно. Значит, оно не может быть одно, двум, трём, четырём, , бесконечным. Значит, контр-примеров нет. Ситуация, когда Гипотеза Римана оказывается неверной, называется контр-примером. Достаточно одной такой ситуации, и Гипотеза Римана будет опровергнута. Высшая наука не впечатляет? Согласен, слишком просто. Но есть и простое доказательство гипотезы abc. Раз сложнейшие проблемы со временем находят кратчайшие примитивные решения, то поистине любую сложную проблему можно быстро и легко решать. А это значит, что классы сложности P и NP равны. Чем решена Задача Тысячелетия Института Клея.

Answer 1

После вопроса болтовня пустопорожня.
Но! "Простейше доказательство" становится возможным на базе новых понятий, а они могут быть очень сложны.
Например папирус Ахмеса содержит тысячи примеров вычисления площадей конкретных земельных участков. Способы были доступны не всем мудрецам того времени. А сейчас старшеклассник спокойно справится с любым примером (ну, если не дебил попадётся) . А потому, что за каких-то 5 тыс лет появилась общая теория Геометрия и Алгебра.
И опять "но": попытка обучить алгебре и геометрии мудреца того времени вряд ли привела к успеху.