calstad

Recent Submissions

1. 1. ▲ OpenAI Declares 'Code Red' as Google Threatens AI Lead (wsj.com) 17 points · 18 days ago · 4 comments
2. 2. ▲ Accelerating Discovery with the AI for Math Initiative (blog.google) 3 points · 1 month ago · 0 comments
3. 3. ▲ Soon You'll Be Able to Shop Walmart in ChatGPT. Here's Why It Matters (wsj.com) 3 points · 2 months ago · 0 comments
4. 4. ▲ Experimenting with ACL2 and Claude Code (mikedodds.org) 1 point · 2 months ago · 0 comments
5. 5. ▲ The Stanford Dropout Building an AI to Solve Math's Hardest Problems (forbes.com) 2 points · 2 months ago · 0 comments
6. 6. ▲ Pope Leo Takes on AI (wsj.com) 1 point · 6 months ago · 0 comments
7. 7. ▲ New elliptic curve breaks 18-year-old record (quantamagazine.org) 173 points · 1 year ago · 52 comments
8. 8. ▲ Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math (cmu.edu) 31 points · 4 years ago · 5 comments
9. 9. ▲ Cardano chief donates $20m to establish Carnegie University mathematics centre (cityam.com) 3 points · 4 years ago · 0 comments
10. 10. ▲ IBM,White House,DoE start consortium to give coronavirus researchers HPC access (venturebeat.com) 2 points · 5 years ago · 0 comments