HN
Hacker News
Top
New
Best
Ask
Show
Jobs
hackinthebochs
6,047 karma · joined February 12, 2009
submissions
comments
A mathematician's experience proving a new theorem with AI
twitter.com
·
1 pts
·
hackinthebochs
·
0
A mathematician's experience proving a new theorem with AI
twitter.com
·
5 pts
·
hackinthebochs
·
1
On Large Language Models and Understanding
old.reddit.com
·
2 pts
·
hackinthebochs
·
0