How AI is reshaping discovery in maths and physics
Artificial intelligence is not replacing human intuition in these fields, but reimagining how questions are asked, explored and understood.
Mikhail Burtsev is an AI fellow at the London Institute for Mathematical Sciences in London, UK.
Yang-Hui He is a fellow at the London Institute for Mathematical Sciences in London, UK.
Evgeny Sobko is a fellow at the London Institute for Mathematical Sciences in London, UK.
Ananyo Bhattacharya is chief science writer at the London Institute for Mathematical Sciences in London, UK.
Thore Graepel is a research scientist at Google DeepMind, London, UK.
Among mathematicians and theoretical physicists, artificial intelligence provokes a range of reactions. Some see it as irrelevant to their work; others fear it could encroach on the most creative, intellectually rewarding aspects of their fields. Yet, the truth that’s emerging, from the work our team is doing at the London Institute for Mathematical Sciences and elsewhere, is subtler.
Rather than displacing human creativity in mathematical sciences, AI is augmenting it. Software can now check proofs line by line and catch errors that would once have taken months of human scrutiny to find. It can search systematically for counterexamples — testing whether a conjecture truly holds or fails in an unexpected way. And it can propose intermediate steps in an argument, suggesting useful auxiliary results that help to bridge the gap between what is known and what still needs to be shown.
AI cracks 80-year-old mathematics challenge — researchers are astonished
📌 Kaynak
Bu özet naturecom kaynağından otomatik derlenmiştir. Tamamı için orijinal habere gidin.
Orijinal haberi oku →