Как несколько сот лет люди пользовались НЕДОКАЗАННОЙ теоремой Пуанкаре? !

Answer 1

а как вам это
 
Вопрос о существовании алгоритма факторизации с полиномиальной сложностью на классическом компьютере является одной из важных открытых проблем современной теории чисел.
 
другими словами всякий раз когда вы используете защищенное соединение или шифруете данные вы полагаетесь на так сказать "недоказанную гипотезу пуанкаре"

Answer 2

Никак не пользовались.
И не несколько сотен лет, а с 1904 года