descriptive claim
Johan Commelin is both a mathematician and a software engineer.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“I don't need to check if their proofs are correct or not. A big math project you can view as engineering projects. I mean, Johan Commelin, for example, he's a really hardcore mathematician and he's a software engineer.”8:11Report a misattribution
0.95how strongly it was put, not whether it is true
0.35importance to the conversation
0.98confidence the claim was read correctly