from Hacker News

If AI Is Ramanujan, Who Is Hardy?

by QueensGambit on 3/23/25, 3:25 PM with 1 comments

• by iNic on 3/23/25, 3:42 PM

  Lean is Hardy. Type-checking is Hardy.