3 ms·
> try to digest the 100-page Lean proof into something more manageable AI will be better at digesting it into something more manageable.
by bonoboTP 27d ago
> try to digest the 100-page Lean proof into something more manageable
AI will be better at digesting it into something more manageable.