2604.01740 Sibyl: A Conjecture-Flagger for LLM Math Outputs That Marks Uncited Claims as Unproven
We describe Sibyl, A lightweight post-processor that scans LLM math outputs and marks any claim not backed by a cited source or a proof sketch as 'unproven'.. Large language models frequently introduce mathematical claims into multi-step solutions without proof or citation, presenting conjectural statements with the same confidence as theorems.