В ноябре 2013 г. предложил доказательство теоремы Чжана Итана[4][5], в которой говорится о существовании ограничения промежутков между простыми числами, показав, что для любого существует бесконечно много ограниченных интервалов, содержащих простых чисел[6][7]. Его работа вызвала прогресс в гипотезе Харди-Литтлвуда, которая утверждает, что положительная часть допустимых -ок удовлетворяет предположению о простых -ках[8][9]. Подход Мейнарда дал верхнюю границу (здесь — n-ое простое число):
.
Это улучшило предыдущие оценки, разработанные в проекте Polymath8[10]. Другими словами, он показал, что существует бесконечно много пар простых чисел, отличающихся не более, чем на 600. Для этого было создано Polymath 8b[11], Мейнард со своим коллегами смогли уменьшить число до 252[10].
14 февраля2014 после объявления Чжана в вики-проект Polymath число сократили до 246[10]. Далее, используя гипотезу Эллиотта — Халберстама с её обобщённой формулой, Polymath утверждает символ и уменьшает числа 12 и 6 соответственно[10].
В августе 2014 г. [9][12] решил задачу Эрдёша, связанную с большими пробелами между штрихами, за что получил денежную премию в размере 10 тысяч долларов США[13].
В 2016 году показал, что для любой цифры от 0 до 9 существует бесконечно много простых чисел, в десятичной записи которых эта цифра не встречается[16].
В 2020 году совместно с Томасом Блум улучшил верхнюю границу квадратно — разностного множества (подмножество натуральных чисел, разность каких-либо двух элементов которого не равна полному квадрату) для целых чисел от 0 до :
В 2022 году стал лауреатом Филдсовской премии за «вклад в аналитическую теорию чисел, который привёл к значительным достижениям в понимании структуры простых чисел и в диофантовом приближении».
↑Zhang, Yitang.Bounded gaps between primes (неопр.). Annals of Mathematics. Princeton University and the Institute for Advanced Study.. Дата обращения: 17 декабря 2017. Архивировано 22 января 2014 года.
