Hello! If you want to see how modern tech handles proofs, you should view more on this site. I found it via a recommendation from my math teacher who uses it to generate problem sets. I was really interested in the verification stage where it cross-checks proofs against known axioms. It’s helped me catch several logical gaps in my own work. It feels much more like a learning assistant than just a simple "answer machine," which I really appreciate.