mauricioc | Dark Hacker News

1.	Mathematicians put AI model AlphaProof to the test(nature.com) 3 points by mauricioc 232 days ago \| 1 comment
2.	Olympiad-level formal mathematical reasoning with reinforcement learning(nature.com) 3 points by mauricioc 232 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 2 years ago \| discuss
6.	2 years 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