Mathematicians put AI model AlphaProof to the test
(nature.com)
3 pts|3 months ago|1 comment
user: mauricioc
611 karma | created 15 years ago
recent submissions
3 pts|3 months ago|discuss
6 months ago|discuss
7 months ago|discuss
7 months ago|discuss
9 months ago|discuss
9 months ago|discuss
10 months ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
4 pts|1 year ago|1 comment
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
The ∞-Cosmos Project
(leanprover-community.github.io)
2 pts|1 year ago|discuss