Hugging Face's von Werra reflects on LLMs' impact on mathematics research
AIAfter attending the International Congress of Mathematicians and meeting SAIR founders Terence Tao and Chuck Ng, Leandro von Werra discussed how LLMs have rapidly progressed from solving GSM8K-level problems to refuting the 87-year-old Jacobian conjecture with a counter-example.



