they will do it. in a year, the same mathematicians will cry about (O)AI making their lives hard by not only solving more problems, but also presenting them with "enjoyable proofs". They'll still cry because the current excuse is a veil.
Bare minimum is still _solving_ the open problem standing there for years. Nobody owns math. Nobody owns giving enjoyable proofs to someone else.
If you don't like to engage with OAI proof dumbs in current state, don't. Maybe others will. Or maybe _these_ mathematicians are afraid that _other_ mathematicians will do it. Just elitism and gate keeping.
Bare minimum is still _solving_ the open problem standing there for years. Nobody owns math. Nobody owns giving enjoyable proofs to someone else.
If you don't like to engage with OAI proof dumbs in current state, don't. Maybe others will. Or maybe _these_ mathematicians are afraid that _other_ mathematicians will do it. Just elitism and gate keeping.