Nature’s AI-and-mathematics editorial asks who should set the rules of discovery

A June 2026 Nature Machine Intelligence editorial frames the field’s tension: powerful new systems, uneven verification, and a call to keep mathematics human-centred.