Similar Items

• Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
  by: Proof Engine
  Published: (2026)
• Claim Verification: "The Pyramid of Giza was built by slaves." — Disproved
  by: Proof Engine
  Published: (2026)
• Claim Verification: "GLP-1 drugs like Ozempic cause unavoidable major muscle loss and "Ozempic face" even with exercise and high protein intake" — Disproved
  by: Proof Engine
  Published: (2026)
• Claim Verification: "AI hallucinations occur on fewer than 5% of factual questions" — Disproved
  by: Proof Engine
  Published: (2026)
• Proof Engine Verification (PROVED): Training and running today's frontier AI models consumes more electricity than entire small countries.
  by: Proof Engine
  Published: (2026)