Did AI kill research papers? - mathematicians respond | Lex Fridman
0:00 · Watch on YouTube
The video argues that AI and scale are breaking the traditional 15-page paper and journal system, pushing academia toward reusable code, data, and formalized, crowdsourced contributions like Lean's Mathlib.