METAVIEWS

OpenAI and Microsoft Push Automated Mathematics Past Institutional Skepticism

Austere editorial image representing the Pressure Systems edition “OpenAI and Microsoft Push Automated Mathematics Past Institutional Skepticism”.

Fields Medalist James Maynard and mathematician Terence Tao grapple with the rapid acceleration of AI-driven theorem proving as models like OpenAI's Astra bypass centuries of human methodology. Meanwhile, Microsoft Quantum Chief Zulfi Alam dismisses external peer review over claimed breakthroughs in new states of matter, highlighting a broader corporate push where computational speed overrides traditional scientific consensus.

  1. BRIEF

    Quantum entanglement is key to solving 250-year-old maths problem

    New scientist2026-08-13

    Analysis of a mathematical puzzle that Leonhard Euler deemed unsolvable in the 1700s reveals that the crucial ingredient for cracking it after all is quantum entanglement

  2. BRIEF

    Why mathematician Terence Tao thinks AI must spark a rapid revolution

    New scientist2026-08-06

    This year has left mathematicians reeling as AI models are increasingly solving seemingly intractable maths problems. Terence Tao, the world's leading mathematician, says a rethink of the entire field is the only way out of the crisis

  3. BRIEF

    Generative AI has changed mathematics forever. Where to from here?

    The Conversation2026-08-09

    Malte Mueller / Getty Images A little over a week ago, artificial intelligence company OpenAI announced ten advances in mathematics and computer science made with their as-yet unreleased model Astra. The discoveries cover a wide range of mathematical fields, including geometry, cryptography and codi…

    • all
  4. BRIEF

    The AI takeover of mathematics has begun

    The Verge2026-08-11

    Mathematician James Maynard has spent a lot of time this past year "soul searching." A professor at the University of Oxford and winner of the prestigious Fields Medal, Maynard told The Verge he's been grappling with the future of his field as the traditionally slow-moving discipline hurries to adap…

  5. BRIEF

    Microsoft’s Quantum Chief Doesn’t Care That Scientists Don’t Believe His Results

    Wired2026-08-06

    Zulfi Alam thinks his team doesn’t need to “prove” they engineered a new state of matter in their bid to reinvent computing. Science would disagree.