theHigherGeometer on Nostr: One thing which I've not seen discussed about [@tristanbuckmaster]( ) 's 'statement' ...

One thing which I've not seen discussed about [@tristanbuckmaster](https://mastodon.social/@tristanbuckmaster ) 's 'statement' document is that the company 'offering' for him to write the article (sole-authored?) about the AI-generated proof is essentially either laundering the proof, or else just actually putting all the burden on him to to the "digestion" process that Terence Tao (npub1gve…sduy) has talking about. That should really be the job of the employees of OpenAI, or else they admit they are just publishing LLM-generated output that they are not in a position to appreciate mathematically. Rendering a >100 page LLM-generated proof claim into a proper mathematical article is a monumental and thankless effort....