The Leiden Declaration

1:43:39>> it's it's um it's concerning. >> It's concerning to say the least for pure mathematics. And in June 2026, there was a statement from the Lorent Center regarding AI generated proof. It was called the lightened declaration on artificial intelligence and mathematics. A bunch of mathematics came to mathematicians a bunch of mathematicians came together and they laid out their key concerns about this new shift in how we are starting to do mathematics as a discipline. There's a threat to open science, right? Because the we don't we don't know what the model weights are. >> Yes. >> Because they're closed source. >> Yeah, they're closed source. So I don't

1:44:19know what's happening inside. It's not really open. I'd have to pay to play. Mhm. >> Um it's unsustainable journal review back reviewer backlogs cuz you can just now like start making all sorts of proofs submit it to the analys of mathematics and then what like >> the humans are going to and then now what we get AI reviewers seems I don't know we don't like that >> I don't know right and then and then there's like divergent incentives because you've got a commercial focus on benchmarks from all of these AI companies versus the mathematicians who want to do deep theorym what are we going to do? And they made some recommendations. One was mandatory AI disclosure. >> We love disclosure.

1:45:00>> We love disclosure >> here on this podcast. Um enhanced scrutiny and there's proper attribution for human research. Where did these AI models get the inspiration? Right. We'd like to know inner workings. >> Bingo. >> It's going to be tough because a lot of these LLMs are black boxes at the end of the day. Claude uh Anthropic is doing a great job trying to elucidate what is happening in the inner layers of their models, but at the end of the day, it is it is kind of a black box, right? Um they're also trying to go for independent funding from these industries to support mathematicians because mathematical research funding is down. Well,

1:45:41mathematics research is also down. And I don't think it should be one of those things where oh AI can do it. We shouldn't have humans doing it. I mean I think mathematics is one of the most beautiful human disciplines that we can ever take part in. Right? It's something where we can say a statement is true and it will live on forever as long as human civilization is alive. If we can engrave it in stone, right? And it outlasts human civilizations. and aliens came down um Allah Halo and and like saw the forerunners and saw [laughter] you know for last theorem embedded in rock they would be like I kind of understand that right if they saw like squares and Pythagorean theorem like

1:46:21>> that would be so cool >> because they have their own versions of that. >> Yeah. Yeah. >> Um and so like I don't want this to be a death sentence for mathematics. It's really it I really hope that's not what's happening. >> I I do think another kind of aspect to this that you bring up is mathematics as an understanding if we want to retain human oversight over AI systems is fundamentally necessary. >> Yeah. >> Because the the way these systems are built and work requires this as a discipline that is understood very well. >> Yes. Logic, correctness, truth. And you cannot we cannot say oh we'll have AGI

1:47:04and artificial general and artificial super intelligence. And again the argument is well if it's super intelligent humans can't keep up. We need to maintain this cohort of experts for as long as possible to manage whatever this transition is going to be because I think we're now I think deh sir Demisabas has said we are on the uh the shores. Uh he has a great phrasiology for this. Um um oh we are on the the shores of the singularity or we are on basically the the sort of the dawn of the singularity here. And I know Ray Kurtzwhile is known as kind of the modern proponent for the this concept.

1:47:44No one has ever been able to describe in words