Pe problema premiului Millennium Navier–Stokes

S-a publicat o soluție generată de inteligența artificială pentru problema Millennium Prize Navier–Stokes, acompaniată de o documentație detaliată și o dovadă formală în Lean. Aceasta reprezintă un pas semnificativ în domeniul matematicii.