AI-Generated Proofs Deserve Public Posting, Argues Researcher, Readers Can Just Ask AI to Rewrite Them
aran_nayebi · x · 2026-09-29
Sharing researcher arannayebi's endorsement of PI010101's take: if someone uses AI in any way to solve a problem at least one person genuinely wanted solved, publishing the AI-generated paper under their own name on arXiv or GitHub is perfectly fine.
He argues it's a misconception that mathematicians must read AI proofs verbatim and then complain about "AI slop" — instead, they should simply ask AI to rewrite the proof in their preferred language, style, and mathematical tools, and after a few prompts get a readable version.
Having a valid proof publicly available is already valuable in itself: it gives AI something concrete to build on.
More from AGI Musings
- Missing continual learning, not motivation, is what keeps models short of AGI, argues teortaxesTex — teortaxesTex · 2026-09-29
- MIT study: algorithmic monoculture in hiring isn't always bad — context and ensembles matter — nordicinst · 2026-09-29
- Sherry Turkle's new book 'Artificial Intimacy' warns chatbots erode empathy and social skills — nordicinst · 2026-09-29
- Can Claude build a box so strong that Claude can't break out of it? — JeffLadish · 2026-09-29
- Meta's Muse agent handles a 30-year-old degree reissue for $25, end to end — armand_ruiz · 2026-09-29
- Will MacAskill: post-AGI society should deliberately cap growth at doubling every 1-2 years — burny_tech · 2026-09-29