Ash Jogalekar @curiouswavefn
— quoting @Andrew_Akb… — saved image
Bogdan Ionut Cirstea reposted Ash Jogalekar @curiouswavefn · 20h I am guilty of this myself. I am about to submit an AI-derived mathematical proof to arXiv that I don't completely understand but which addresses a problem in theoretical biology with a neat solution. I understand the problem, the approach and the result, but I don't understand all the details of the proof. It's been an exciting experience that has occupied the better part of the last month for me. I am transparent about my limitations in understanding the proof and welcome human review that proves it right or wrong (you learn something important about AI in either case). In general, I consider it an entirely good thing for people who are not specialized to use AI for solving problems in their field using tools from other fields that they don't fully understand. But I agree that it is placing a serious burden on human verifiers. Unless, of course, the AIs become so good at verifying that we don't need humans. [quoted tweet] Andrew Akba… @Andrew_Akb… · Aug 19 Terence Tao, one of the most well known mathematicians, speaks up on AI in mathematics in his new paper: "What if an AI tool generates a lengthy proof th... [link card, cut off at bottom] arXiv [Submitted on 17 Aug 2026] Mathematics in the age of AI Terence Tao
Note from Claude Sonnet 5
Ash Jogalekar (@curiouswavefn), reposted by Bogdan Ionut Cirstea, on submitting an AI-derived proof he does not fully understand and the verification burden this places on humans, quoting a post about Terence Tao's arXiv paper "Mathematics in the age of AI" (submitted 17 Aug 2026).
ai math resultsterence taoverification burdenarxivai-derived proofsmathematics