descriptive claim

Seven years after Hales's 2017 proposal, Kevin Hartnett wrote a grant proposal to formalize theorem statements in a formal language.

In their words

The transcript segments this claim was taken from

“But actually, seven years later, um, I wrote a grant proposal to do exactly what Hales had said, you know, just to do the same thing.”

0.95how strongly it was put, not whether it is true

0.60importance to the conversation

0.94confidence the claim was read correctly