descriptive claim
The speaker says Leo arranged the Lean-related dinner for another purpose and then made it coincide with the speaker’s birthday after learning the birthday was that week.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So it wasn't, it wasn't a birthday dinner, it was, it was really just bringing together people, uh, you know, interested in Lean and, and, uh, uh, supporting Lean. But, um, but I told him that my birthday was that week and he decided to make it coincide with my birthday.”1:32:05Report a misattribution
0.90how strongly it was put, not whether it is true
0.30importance to the conversation
0.96confidence the claim was read correctly