3 ms·If AI Is Ramanujan, Who Is Hardy?2 points by QueensGambit 2y agoiNic 2y agoLean is Hardy. Type-checking is Hardy.deleted 2y ago[deleted]