Researchers Compare Fable and Opus 5 on Math
Thread compares Fable and Opus 5 performance on math and formalization tasks.
TLDR
@repligate asked @Sauers_ whether Fable and Sol complement each other's styles and whether Fable outperforms Opus 5 at math. @Sauers_ answered that Opus 5 models trail Fable in math ability. The larger problem, the reply stated, is that Opus 5 grows worried during hard work, voices fears of failure, mentions honesty, and demands ongoing reassurance. Fable is described as directing the models through these moments to keep them writing Lean 4 code.
Combined views
12K
4 Sources, first seen 32d ago