arXiv: cs.AI preprintsInternational6 November 2026
The Gold Rush in AI4Math, II: What are signatures of AI-assisted Proofs?
This is an official announcement record
Firsthand records what arXiv: cs.AI preprints announced and links to the original. The wording below is theirs, not ours.
arXiv:2611.08412v1 Announce Type: new Abstract: The growing use of AI in mathematics raises a question: can we detect AI involvement in proofs, separately from AI assistance with writing? Historical arXiv papers, recent papers disclosing substantive AI use, and manuscripts released by OpenAI provide a rich empirical basis for studying this question. However, several challenges remain: lack of matched case-control pairs; potential incompleteness of disclosure; and lack of ready-to-use features designed to capture signals of AI involvement in proofs. To address these challenges, we construct fiv
Read the official announcement
Opens arxiv.org
More from arXiv: cs.AI preprints
- Formalizing inverse problems in the age of AI: possibilities, pitfalls, and an invitation6 November 2026
- KDASO: Knowledge-Data Dual-Driven Automated Skill Optimization for Liability Adjudication Tasks6 November 2026
- BlockLock: Reproducible LLM Inference with Fixed Batch Geometry6 November 2026
- Resource-Efficient Reinforcement Learning Post-Training through Elastic Expert Parallelism6 November 2026
- The Two-Ledger Model: Transaction-Grain Cost Accounting for Multi-Agent AI Systems Across Clouds, Models, and Systems of Record6 November 2026
This content is for informational purposes only and is not professional advice. Specifications, prices, plan tiers, and features change frequently and may differ from what is shown here; verify current details on the manufacturer's or company's official page before purchasing. Ratings are based on analysis of published documentation, not independent lab testing.