Palomar — Lean-verified mathematics

. · openai/ten-proofs@94bc0fe

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@94bc0fe

. · openai/ten-proofs@5a102c1

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@5a102c1

. · openai/ten-proofs@d0e1ae7

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@d0e1ae7

. · openai/ten-proofs@e9dce9a

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@e9dce9a

Math Academy: A Mixed Review

The maths that could have been

Tau Ceti — Tau Ceti

AI-authored Lean mathematics, directed by a human-owned roadmap and gated by open, adversarial review.

Uri Bram 🔍 on Twitter / X

So I got memed into trying MathAcademy and it was one of the weirdest product experiences of my life. In short: I think they have an amazing product, but they're very opinionated about how you use it, and as a result I can't use it at all.Basically: they've figured out some…— Uri Bram 🔍 (@UriBram) January 16, 2025

A balanced review of Math Academy | Hacker News

(At the time I recommended my son start doing Math Academy, I had done 3722 XP myself, which is about 60 hours' worth.)

CE Labs

Secure systems engineering, verified all the way down to the cryptography.

Math Academy Wants To Supercharge Your Learning

A review of the online learning program

Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools

Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. By Jarod Alper

My Journey Back to Math: A Short Review of MathAcademy | Hacker News

I’ve been tempted to try it because I tend to view HN as an organic place, and I’ve seen it pop up on the front page so many times.

Tutorial: Introduction to Formal Verification with Lean (Part 1) - HashCloak

A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.

My Honest Review of Math Academy (Including Their Machine Learning Math Course)

Learning Math For Machine Learning on Math Academy