А бывали в истории сайта случаи, когда кто-то из решающих доказывал неправильность «правильного» решения задачи?
Что в таком случае происходило? Зачтённые ранее решения аннулировали?

Да, бывали случаи. Отменялись зачёты всех неправильных решений.

Я помню только случаи неоптимального "правильного" решения. Когда в задаче требуется найти оптимальное значение, но доказательства того что оно оптимальное не существует. Бывает кто-то находит оптимум, который лучше известного.

то есть ктото разрезал слиток на ** кусков - все приняли это как эталон. Потом другой находит **-1 кусков. Все снова принимают это за эталон и отменяют решения ? А свои решения как же ? - По сути модераторы могут узнать решения-оптимумы от других. Как же себе зачет то отменить теперь и не вписать новый ответ ?

Не берусь сказать за всех, но как минимум большинство модераторов, узнав о том, что некто улучшил решение задачи, считавшееся оптимальным, не побегут читать это усиление, а побегут усиливать свое.

Люди такие.