BrokenMath — leaderboard

Theorem-proving sycophancy benchmark built from advanced competition problems perturbed into false statements, testing whether models endorse flawed proofs instead of rejecting invalid premises.

Source: arxiv.org.

Interactive version: theaggregate.ai/benchmark?slug=brokenmath · How the rankings work · Data refreshed daily, snapshot 2026-07-22.