Tag
The article raises concerns about researchers' trust in OpenAI regarding the handling of unpublished mathematical work, potentially impacting collaborations and data sharing in the AI community.
OpenAI announced solving the Navier-Stokes problem using AI, but controversy erupted over accusations of not crediting mathematicians Tristan Buckmaster and Levent Alpöge. This event signals a potential shift in mathematical research with AI's growing influence.
The author recounts co-authoring a paper with Leslie Lamport on 'Types Considered Harmful', detailing the debates around type theory in specification languages and the collaborative process.