4 sources healthy · latest episode 9 Nov 2026
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