Lean 4 programming language and theorem prover
Automated theorem proving + neural language models + reinforcement learning.
I think most people seriously underestimate how powerful modern proof assistants like Lean  are for building things like provably correct software and chips, as well as verifying math research. But fully formalizing anything big leads to a proliferation of small annoying lemmas -- not "difficult" to prove per se, just annoying and time-wasting. I'm working on a neural theorem prover that aims to solve these lemmas fully automatically.
Good (cheap) textbooks for learning more advanced linear algebra and other math for Data Science?
1 project | reddit.com/r/math | 3 May 2022
An automatic theorem proving project
2 projects | news.ycombinator.com | 28 Apr 2022
Why is Rust the most loved programming language in StackOverflow surveys?
3 projects | reddit.com/r/rust | 25 Apr 2022
Proving the Validity of a Proof or Proof Method
2 projects | reddit.com/r/math | 23 Apr 2022
There’s more to mathematics than rigour and proofs
1 project | news.ycombinator.com | 19 Apr 2022