I find this ridiculous: mathematicians "ask them to stop testing advanced mathematical problems on proprietary models."
I have bad news for them: whatever looks "advanced" math today will look utterly primitive to tomorrow's AI
The advisory group on mathematics and artificial intelligence has just published a set of recommendations concerning the responsible release of mathematical results generated by AI companies using internal models. 1/3
agmai.org/general-sep29/
26
30
468
40,472
Its gonna be more awkward eventually because smarter ai will separate accidental complexity from fundamental complexity at some point. Not now obviously as 13M lines of lean shows. That will invalidate many “open problems”.
Sep 30, 2026 · 4:38 AM UTC
557