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. Reading time 10 minutes Will ...
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 ...