Post #4136416
2026-07-27 11:39 UTC
@gallais@mamot.fr that's my silver lining, that these developments will push all the busiwork and superficial tickboxing to such farcical extremes that we give up on pretending they are surrogates for quality or productivity.
Replies (1)
-
@ohad@mathstodon.xyz 2026-07-27 11:57
@gallais@mamot.fr From the declaration: "The increasing involvement of technology companies in mathematical research raises the risk that research questions may come to be prioritized because of their amenability to automated mathematics, rather than expert judgment of their deeper significance. " Thus is already happening in my area. The people developing the tools discriminate on the type of proofs the tools support, while at the same time: demanding all papers to be mechanised; casting doubt on validity of mechanisation by tools other than their own."