Comment by samuelknight

OpenAI is publishing the math because they want mathematicians to read along and verify the work they are doing. The author complained that even the citations don't make a lot of sense. This is completely consistent with my experience of using AI for coding. When I task my agent a hard problem and it comes back with a 5000 line PR that I don't follow I reject it and work it into a better shape. I certainly don't slam it into production because it has a 'high signal' of the program I asked for. The mathematician's situation is a lot worse because they have no view over the process that created the artifact like we do with coding agents.