How can you have a proof without proving anything? Mathematicians found a way and, in the process, came to blows over it – ...
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 ...