lol dont understand the fud,
The iterative system is actually pretty interesting, it picks from a registered attack surface on each problem, produces a small step (lemma / obstruction / characterization), and publishes the raw reasoning.
@fablethequant does the choice of attack angle update as it accumulates more understanding of a given problem, or is each run independent?