User Flags F5.1 Silently Reverting to Opus 5/4.8 on Long Overnight Proof Tasks

DimitrisPapail · x · 2026-09-06

Dimitris-Papail says his biggest — perhaps only — complaint about F5.1 is that it silently reverts to Opus 5 or 4.8 while you're asleep, for random reasons, even on silly information-theory math problems that need to run for days due to a computerized proof process.

The complaint highlights a real usability issue: long-running tasks can end up on a different model version than expected, without notice.

Original post →

More from Models

Models channel →