Ich erinnere mich, dass ich einen Blog-Beitrag gelesen habe, in dem zwei Versionen desselben Beweises angezeigt wurden, eine von einem Menschen und eine von einer Maschine, und die Leser gebeten haben, zu sagen, welche welche ist. Beim erneuten Versuch, den Beitrag zu googeln, kann ich anscheinend nicht die richtigen Keywords finden. Die meisten Dinge leiten mich nur zu Seiten mit computergenerierten oder computergestützten Proofs.
Ich frage mich also, ob sich jemand anders an einen solchen Beitrag erinnert oder noch besser, ich kann auf einige Umfragen oder andere Materialien zu diesem Thema verweisen.
quelle