Hacker Newsnew | past | comments | ask | show | jobs | submit | hackinthebochs's submissionslogin
1.
A mathematician's experience proving a new theorem with AI (twitter.com/robertghrist)
1 point by hackinthebochs on Oct 3, 2024 | past
2.
A mathematician's experience proving a new theorem with AI (twitter.com/robertghrist)
5 points by hackinthebochs on Oct 2, 2024 | past | 1 comment
3.
On Large Language Models and Understanding (reddit.com)
2 points by hackinthebochs on April 1, 2023 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: