This AI breakthrough in mathematics is a glimpse of what could follow across the sciences. People still associate these models with chatbots. But the ...