Wow--Claude Opus 4.6 im Claude-Chat ist viel besser als GPT-5.4 beim Denken über wissenschaftliche Figuren. Das ist neu seit dem letzten Mal, als ich es ausprobiert habe.
Mein Codex hat jetzt 12 Stunden lang ununterbrochen schlanke Beweise erstellt; ich habe nachgeschaut und anscheinend hat er über 1.000 Zeilen von "Simulationstheorie" erstellt und dann gelöscht.
