Math community should require LLM chat transcripts with major proofs, argues pfau
rbhar90 · x · 2026-09-09
A retweeted argument from pfau: the math community should immediately establish the norm that any major proof includes transcripts of LLM chats as supplementary material — without them, proper attribution of human vs. AI contribution is essentially impossible.
More from AGI Musings
- Gary Marcus says AI breakthrough relied on borrowed human information — GaryMarcus · 2026-09-09
- What 100 GW of compute really means: 876 TWh a year and a country-scale power system — shyamalanadkat · 2026-09-09
- Default AI scenario is Peter Wildeford's 'Scramble', argue AI safety discussants — sjgadler · 2026-09-09
- Anima Anandkumar: physics-centric AI already impacts weather and device design — AnimaAnandkumar · 2026-09-09
- BBC and Guardian rank Glastonbury ticket dates above AI solving a Millennium Problem — birchlse · 2026-09-09
- Oncologist pushes back on AI cancer-cure hype: sequencing finds mutations, not instant treatments — petergyang · 2026-09-09