Hay varias conjeturas en Matemáticas que parecen ser ciertas pero que no han sido demostradas. Por supuesto, al aumentar la potencia de cálculo, la gente ha ampliado la búsqueda de contraejemplos cada vez más.
Proporcionar un contraejemplo a una conjetura con un número muy grande sería interesante, pero no se me ocurre ningún ejemplo no trivial en el que se haya encontrado un número realmente grande para refutar una conjetura (no trivial). He visto muchos números grandes que sirven como límites de algún valor, pero normalmente se trata de algo que se sabe que está acotado (es decir, finito) de todos modos.
Por curiosidad, ¿cuál es el mayor contraejemplo que ha visto para refutar una conjetura?
