descriptive claim
Isabelle works well for some kinds of mathematics but reaches limitations for others.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So for certain types of mathematics, it, it was really a great system. Um, but then for certain types of things, you hit a wall. So, um, in modern mathematics, mathematicians talk about algebraic structures, um, you know, axiomatically characterized.”22:09Report a misattribution
0.95how strongly it was put, not whether it is true
0.75importance to the conversation
0.98confidence the claim was read correctly