optimalsolver | Dark Hacker News

1.	Scandinavia's first farmers slaughtered hunter-gatherer population, DNA suggests(phys.org) 42 points by optimalsolver 3 hours ago \| 55 comments
2.	UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs(twitter.com) 2 points by optimalsolver 4 days ago \| 0 comments
3.	Duet For The End Of Math [pdf](its.caltech.edu) 1 points by optimalsolver 12 days ago \| 0 comments
4.	1 points by optimalsolver 35 days ago \| discuss