Konjekto (matematiko): Malsamoj inter versioj

Ekzemple, ĉe la [[rimana hipotezo]], pluaj kaj pluaj kompleksaj nuloj de la [[rimana ζ funkcio]] estas kontrolataj al kuŝi sur la linio ''Re z=1/2'', sed ĉi tio ne estas ĝenerala pruvo ke ili ĉiuj estas sur ĉi tiu linio. En praktiko ege malofte ĉi tiu speco de laboro liveras kontraŭekzemplon kaj ĉi tiaj penoj estas ĝenerale estimata kiel nura elmontro de [[komputa scienco|komputika]] kapablo, anstataŭ ol kilelkiel signfaj kotizoj al formala matematiko. Ekzemple pri la [[primo-kalkulanta funkcio]] ''π(n)'' povus esti (jam malpruvita) konjekto ke por ĉiu ''n'', ''π(n)≤li(n)'' kie ''li(n)'' estas la [[integrala logaritmo]]; ĝi veras por malgrandaj nombroj kaj la unua kontraŭekzemplo estas proksimume je ''n≈1,397·10³¹⁶'' kaj traserĉi rekte ĉiujn entjerojn ĝis ĉi tiu tute ne realas; vidu pli detale en [[nombro de Skewes]].