Мы с женой нашли один запрет за 7 нерешаемыми задачами и первым делом построили машину, которая не даёт нам соврать

[wataru]

Т.е. я правильно понимаю, вы там навалили 20000 простеньких известных теорем, проверили их машинно. Рядом поставили не выводящуюся из них гипотезу чисел близнецов, но этот опус как-то что-то фундаментально запрещает в нерешенных задачах?