Urgent.News

What's breaking now, across thousands of outlets.

AI

AI Doesn’t Mean the End of Mathematics—at Least Not Yet

This essay was written with Kasra Rafi, and originally appeared in The Guardian. Earlier this month, about 40 top mathematicians gathered at OpenAI’s offices to discuss the future of their profession. The meeting was off-the-record, but if recent articles by mathematicians are any guide, it was mostly pretty glum. People fear for their jobs, their careers and the work they love. We think the…

Mathematics and artificial intelligence are becoming increasingly intertwined, yet the future of math remains secure. In recent discussions among top mathematicians, concerns about their profession's prospects due to AI advancements were prevalent. However, the reality is more optimistic. AI currently falls short of matching the proficiency of seasoned academic mathematicians, and it is unlikely to pose an immediate threat to the field.

While AI has produced impressive mathematical results, they are often limited to refining or applying existing techniques rather than generating groundbreaking theories. For instance, OpenAI's AI model disproved an 80-year-old conjecture, and Anthropic discovered novel applications of known methods. These achievements demonstrate AI's strength in searching and recombining established ideas, but they lack the capability to construct entirely new mathematical frameworks.

The future of AI in mathematics remains uncertain, but it is probable that we will witness AI models capable of true creativity and novel problem-solving in the near future.

Written by urgent.news from Schneier on Security's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.

Read the original at schneier.com →

More in AI

Building Structured Inter-Agent Communication: A Practical Guide

Every multi-agent tutorial shows "Agent A talks to Agent B." None show how to keep that conversation reliable at scale. The Problem with String-Based Agent Chat # What most frameworks do: result =…

  • Typed JSON Contracts ensure reliable communication between AI agents.
  • AgentForge framework validates output schema against input schema.
  • Clear error messages halt pipeline if schema mismatch occurs.

More from Friday 28 August →