4 sources healthy · latest episode 9 Nov 2026
causal claim

The simplification found by Johan Commelin reduced the project's required time by half.

Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026

In their words

The transcript segments this claim was taken from

“And, uh, six mo- So that cut the, that cut the time down by a factor of two. And six months later, we'd, we'd checked the key thing that Peter was-- You know, Peter was worried that the thing was wrong.”
51:20Report a misattribution
0.90how strongly it was put, not whether it is true
0.65importance to the conversation
0.90confidence the claim was read correctly