“Here is one possible dynamic that I could envisage happening in the near future. In the future, a mathematician (or collaboration) working on a problem would typically maintain a private repository containing partial progress towards all of the goals of generation, verification, exposition, and publication: incomplete sketches, AI chats, Lean proofs with sorries, slides of a talk, etc., with timestamps recording the date each step of partial progress was achieved. The social norm would be to wai”
- #social
- #mastodon
- #self-published