Sto usando Hermes Agent per insegnarmi Lean. Ha progettato un curriculum di 12 parti con un sacco di problemi pratici e ora può aiutarmi immediatamente ogni volta che ho una domanda. Sembra di avere un professore di matematica come tutor personale.

prima unità completata! Ho provato un paio di volte a imparare Lean, ma era semplicemente troppo incomprensibile. l'agente hermes è potere asimmetrico