I haven’t been as excited about a programming language since when I first started learning Rust. Lean4 is an extremely powerful language. However, one thing it’s missing is good tutorials and examples! So I built an online Lean4 learning tool! I predict Lean becoming one of the most popular languages in the coming years amongst AI labs, blockchain researchers, and agents. It’s what powers verifiable auto-research. Lean4 increases the velocity at which humanity can make mathematical discoveries. To be ahead of the curve, learn some lean today! Open to feedback and suggestions! 😅

Woohoo! I am at the top of the leaderboard! 🎉🥳 Big thanks to i34-9 for acknowledging my earlier queued submission was valid! Really appreciate it! The PR which got merged: The approved PR had 76 of its 81 submission files byte-for-byte identical to my earlier queued PR, which got stuck bc of Yukon's flaky infra: So what did I do to get this cutting edge result? I still did manual PR review and manual simplification of the Lean written by the agent. Had to tell the agent a lot, “this is way too verbose, this can be simplified.” Honestly, just basic PR cleanliness & basic CS principles helped push the frontier. Overall, is a cool project. Glad I am on the leaderboard, but submissions should stay private until verification finishes. Otherwise, others can resubmit your work while you’re still waiting for CI. If i34-9 hadn’t added me as a co-author, I could have ended up with 0 leaderboard credit. The CI infrastructure was having problems, and my earlier submission failed with this message: “The submission was never checked — the verifier could not reach a verdict. This is an infrastructure fault, not a judgement on the proof.” Also, if anyone knows who i34-9 is, I’d really like to DM them to thank them personally. Anyways, I am very happy. It’s a team effort after all!

Mitchell Amador is a true visionary in our industry. DeFi owes him one big thank you for preventing billions lost in hacks. Insane speaking skills too 😅 @immunefi @consensus2026