arXiv AI
Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
arXiv AI
Jul 2
Theoria: Rewrite-Acceptability Verification over Informal Reasoning States
arXiv:2607. 01223v1 Announce Type: new Abstract: When should an AI system's answer be trusted?
arXiv AI
Jun 10
Evaluating Research-Level Math Proofs via Strict Step-Level Verification
arXiv:2606. 10799v1 Announce Type: new Abstract: Large Language Models (LLMs) struggle to rigorously verify complex mathematical proofs.
arXiv AI
Oct 15
claimcheck: Measuring and Improving Specification Faithfulness
arXiv:2610.17358v1 Announce Type: cross Abstract: Formal verification proves that a program satisfies its specification, but says nothing about whether the specification captures what the author mean...
arXiv AI
Aug 24
AI with Authority, from Application to Silicon
arXiv:2608.21356v1 Announce Type: cross Abstract: For sixty years, machine verification has been a major cost overhead, affordable only for exceptional artifacts. Here we report that generative AI in...
arXiv AI
Oct 31
Beyond fabrication: Misattributed numbers in papers written by AI research agents
The paper examines how AI‑written research papers often contain misattributed numerical claims. By re‑analyzing 540 judgments from a benchmark of nine AI agents on fifteen research problems, the authors manually labeled 256 claims and found that most failures stem from misalignment between the paper and the underlying work rather than outright cheating. They propose a deterministic claim‑to‑evidence checker that achieves over 90% precision and, when combined with an LLM verifier, offers a more reliable audit of AI‑generated research.
arXiv AI
Aug 18
Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs
arXiv:2608. 15432v1 Announce Type: new Abstract: In formal verification, both the autoformalization of statements and automated proof search have been studied extensively.