← All topics

verification burden

2 captures, most recent first.

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

Paata Ivanisvili @PI010101

— quoting @littmath — saved image

Bogdan Ionut Cirstea reposted

Paata Ivanisvili @PI010101 · 22h

Seeing what is happening on the frontlines, I would say this: if we humans want to keep understanding the knowledge AI is producing at the current rate (new proofs, ideas, and approaches) we may need 10× more mathematicians within the next year than we have today.

[quoted tweet]
Daniel Litt @littmath · Aug 14

We're going to need a lot more mathematicians!
x.com/PI010101/statu...
Note from Claude Sonnet 5

Paata Ivanisvili (@PI010101), reposted by Bogdan Ionut Cirstea, saying humans may need 10x more mathematicians within a year to keep up with AI-produced mathematics; quotes a short Daniel Litt (@littmath) post from Aug 14.

ai math resultsmathematiciansverification burdenai progressfuture of mathematics