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.
More from Models
- Ornith 1.5 35B A3B beats Flint on hallucination and overthinking in user tests — BarberIcy366 · 2026-10-23
- Meta researcher: horrifying infra, not talent, is why OSS can't catch closed frontier — A_K_Nain · 2026-10-23
- TypeSafe's Jev: a "Decision Model" LLM That Returns Floats at $0.042/M Input Tokens — ariG23498 · 2026-10-23
- Microsoft's MAI-Base-2 scaling ladder pegs the L42 run at ~1.8×10^23 FLOPs — teortaxesTex · 2026-10-23
- Local model agentic coding benchmark: 27B matches 125B, tool-calling is the lever — Joralk_ · 2026-10-23
- NVIDIA open-sources PersonaPlex-7B, a full-duplex voice AI model that listens and talks simultaneously — solyarisoftware · 2026-10-23