If AI Is Ramanujan, Who Is Hardy?

by QueensGambiton 3/23/2025, 3:25:10 PM with 2 comments
  • by iNicon 3/23/2025, 3:42:15 PM

    Lean is Hardy. Type-checking is Hardy.