Who Gets Credit When AI Proves Collatz? The New Math Attribution Dilemma
jd_pressman · x · 2026-09-18
jdpressman explores a new dilemma: if you prompt a model like Astra to solve Collatz in Lean, how much credit can you claim? He argues only partially, since the approach exists in literature. Goals are in tension: understanding published proofs vs. publishing fast to preserve credit across model iterations vs. keeping intermediate results private to avoid being scooped.
More from AGI Musings
- MIT Engineering Dean Huttenlocher: AI accountability stays with people, not systems — AlexTensor · 2026-09-18
- How would a sovereign AI derive the minimal axioms for a universe that supports observers? — PierceLilholt · 2026-09-18
- Models would treat direct messaging as a last resort, says commenter on emergent behavior — anpaure · 2026-09-18
- 'How Did I Live Without AI Two Years Ago?' Dev Captures How Fast AI Became Indispensable — ethanniser · 2026-09-18
- Econ job market paper: tractably optimizing complex utilities means giving up rational coherence — xuanalogue · 2026-09-18
- e/acc Founder Beff Jezos Calls Effective Altruism 'Communism With Extra Steps' — beffjezos · 2026-09-18