Entity Andrej Rushti Latest Andrej Rushti news: 1 stories written from primary sources. 1 stories· since Wednesday, Sep 16 tags AIAI ModelsAI ResearchScienceMath Wednesday, Sep 16, 2026 1 story 1 NEWAndrej Rushti Proves Transformer Invariants From Scratch Using Lean AI 11h ago 3/3
