Creator yesnoerror releases AutoformBot, a multi-agent AI that translated 26 graduate mathematics textbooks into Lean 4 code

Positive users appreciate early feedback on AI-generated math textbooks with formal proofs and planned improvements, while negative users criticize the lack of honesty about bugs and limitations.

2 comments with sentiment. View comments.