«Это значение чрезвычайно приблизительно, я думаю, полностью может быть уменьшить его наименее чем до 1-го миллиона либо даже меньше», - произнес И Тан Чжан, слова которого приводит New Scientist.

Аксиома обычных чисел - «близнецов», по неким данным, была сформулирована еще Евклидом, что делает одной из древних нерешенных заморочек в арифметике. Посреди обычных чисел (простыми именуют числа, которые делятся лишь на себя и на единицу) встречаются пары, которые различаются лишь на 2.

Это к примеру 5 и 7, 11 и 13, 17 и 19 - их именуют «близнецами». При движении ко все огромным числам обыкновенные числа встречаются все пореже, как и близнецы. Согласно аксиоме, пар близнецов обязано быть нескончаемо много.

Наибольшие «близнецы», известные на сей день, это 3756801695685*2^666669? 1 и 3756801695685*2^666669 + 1. Но пока не подтверждено, что их нескончаемо много.

«Это чрезвычайно прекрасная задачка, и как почти все остальные задачки в теории чисел она проста для осознания, но очень сложна для доказательства», - произнес РИА Новости сотрудник Математического института имени Стеклова РАН (МИАН) Николай Андреев.

И Тан Чжан, который представил результаты собственной работы на семинаре в Гарварде, доказал «слабый» вариант аксиомы близнецов: ему удалось показать, что есть нескончаемо много обычных чисел, которые различаются менее чем на 70 миллионов. Пока работа не размещена, но принята к печати в Annals of Mathematics. Но пока рано говорить, что подтверждение вправду получено, предупреждает Андреев.

«Прежде чем что-то утверждать - подтверждена либо нет бесконечность, обязано пройти время, чтоб работа была проверена математическим сообществом», - отметил он.