calstad's submissions

1.		OpenAI Declares 'Code Red' as Google Threatens AI Lead (wsj.com)
		17 points by calstad 28 days ago \| past \| 4 comments
2.		Accelerating Discovery with the AI for Math Initiative (blog.google)
		3 points by calstad 62 days ago \| past
3.		Soon You'll Be Able to Shop Walmart in ChatGPT. Here's Why It Matters (wsj.com)
		3 points by calstad 77 days ago \| past
4.		Experimenting with ACL2 and Claude Code (mikedodds.org)
		1 point by calstad 81 days ago \| past
5.		The Stanford Dropout Building an AI to Solve Math's Hardest Problems (forbes.com/sites/rashishrivastava)
		2 points by calstad 3 months ago \| past
6.		Pope Leo Takes on AI (wsj.com)
		1 point by calstad 6 months ago \| past
7.		New elliptic curve breaks 18-year-old record (quantamagazine.org)
		173 points by calstad on Nov 11, 2024 \| past \| 52 comments
8.		Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math (cmu.edu)
		31 points by calstad on Sept 22, 2021 \| past \| 5 comments
9.		Cardano chief donates $20m to establish Carnegie University mathematics centre (cityam.com)
		3 points by calstad on Sept 22, 2021 \| past
10.		IBM,White House,DoE start consortium to give coronavirus researchers HPC access (venturebeat.com)
		2 points by calstad on March 23, 2020 \| past
11.		The Ivory Tower Can’t Keep Ignoring Tech (nytimes.com)
		2 points by calstad on Nov 14, 2017 \| past