linkedin.com
Jantzen filtration | Dan Ciubotaru | 48 comments
AI in Maths, a case study that shook me to my core. On Monday, mostly in jest, I started a GPT 5.6 session, asking it to prove the Jantzen conjecture for affine Hecke algebras. This is a fairly major ...