Ich benutze Hermes Agent, um mir Lean beizubringen. Es hat einen 12-teiligen Lehrplan mit einer Menge Übungsaufgaben erstellt und kann mir jetzt sofort helfen, wann immer ich eine Frage habe. Es fühlt sich an, als hätte ich einen Mathematikprofessor als persönlichen Tutor.

erste Einheit abgeschlossen! Ich habe ein paar Mal versucht, Lean zu lernen, aber es war einfach zu unverständlich. Hermes-Agent ist asymmetrische Macht