CS theorist: AI-driven proofs must be disclosed upfront, not buried in a footnote
fortnow · x · 2026-10-20
Theoretical computer scientist Lance Fortnow argues that if a paper's proof is primarily AI-driven, that fact should appear on the first page, in the abstract, or as a title footnote — not buried at the end. Otherwise, authors are claiming research that isn't quite their own. The take highlights an emerging academic-norms question as AI-assisted proofs become common.
More from Research
- Two New Robotics Benchmarks Released: MicroPlanBench and MicroAnnotationBench First Rankings — chris_j_paxton · 2026-10-20
- ICLR reviewer despairs: 5 assigned papers nearly all AI-written, calls peer review broken — peterbhase · 2026-10-20
- Meta: Co-Design for AMD GPUs Delivers Up to 1.5x Training Throughput vs Direct NVIDIA Ports — burny_tech · 2026-10-20
- Continuous Softmax Attention work shared, drawing attention — burny_tech · 2026-10-20
- Muon optimizer tweak with a polynomial grid saves ~0.5% of LLM training compute — burny_tech · 2026-10-20
- HeadEdit steers LLM behavior via frozen unembedding matrix, no fine-tuning needed — burny_tech · 2026-10-20