descriptive claim
AI is increasingly being applied to mathematics, with companies such as OpenAI and Anthropic doing mathematics and translating the work into Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“AI is coming for mathematics. This is absolutely clear. Companies like OpenAI and Anthropic are doing mathematics and then just translating it into Lean.”0:44Report a misattribution
0.98how strongly it was put, not whether it is true
0.90importance to the conversation
0.95confidence the claim was read correctly