AI models are solving mathematics problems with increasing pace, and a technique called formalisation is key to demonstrating that their claimed solutions are indeed correct. But can we trust the formalisation process?
Mathematicians and AI in behind-the-scenes battle over what’s true
Original Source
This article was collected from: New Scientist
Gabeshana News automatically collects article information
from external RSS/Atom sources. The original article remains
available at the source website. Please visit the original
source for the complete article and the latest information.