mauricioc | Dark Hacker News

1.	Mathematicians put AI model AlphaProof to the test(nature.com) 3 points by mauricioc 186 days ago \| 1 comment
2.	Olympiad-level formal mathematical reasoning with reinforcement learning(nature.com) 3 points by mauricioc 186 days ago \| 0 comments
3.	The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction(informit.com) 4 points by mauricioc 1 year ago \| 1 comment
4.	The ∞-Cosmos Project(leanprover-community.github.io) 2 points by mauricioc 1 year ago \| 0 comments
5.	1 points by mauricioc 1 year ago \| discuss
6.	1 year ago \| discuss
7.	Lean into Verified Software Development(aws.amazon.com) 3 points by mauricioc 2 years ago \| 0 comments
8.	2 years ago \| discuss
9.	2 years ago \| discuss
10.	Lean 4.7.0(lean-lang.org) 1 points by mauricioc 2 years ago \| 0 comments