[fractorial]

I’ve been falling back to Opus 4.6 since 4.7 and 4.8. I recently found success in using Opus 4.6 for cheap orchestration and reasoning while Opus 4.8 High/Max agents do the work.

I made serious progress towards repairing a proof for a conjecture that was published 10 days ago but kept running into a wall with one of the Lemmas.

I threw Fable 5 Max at it with the same subagent set up and in an hour it claimed to have disproved a core theorem of the paper.

The Lean construction looks correct, but I still need to verify it rigorously. This is certainly not something Opus 4.6 Max could do and it’s likely something Opus 4.8 Max could do with more delicate orchestration and time. However, the “one-shot” Fable 5 did give me pause.