Turing Award Winner Fortnow Urges Disclosure of AI-Driven Proofs Upfront

Lance Fortnow argues that papers whose proofs are mainly produced by AI, with authors acting only as prompters and verifiers, must disclose this on the title page or abstract rather than burying it at the end, sparking debate over academic authorship norms.

2026-10-20 ~ 2026-10-20 · 2 related posts

• CS theorist: AI-driven proofs must be disclosed upfront, not buried in a footnote — fortnow · 2026-10-20

1 near-duplicate retellings: fortnow