Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.
After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...
In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...
This photograph does a pretty good job of "describing" ripples. But a mathematician could do it with greater precision and predictive power. Image credit: andressolo, Flickr, CC BY 2.0 "How is it ...
The tenth parallel―the line of latitude seven hundred miles north of the equator―is a geographical and ideological front line where Christianity and Islam collide. More than half of the world's 1.3 ...