Y Hacker News new | ask | show | jobs

user: calstad created: 2011-05-22 karma: 122 submissions: 0 points | 0 comments Be Wary of Digital Deskilling 6 points | 1 comments OpenAI Declares 'Code Red' as Google Threatens AI Lead 17 points | 4 comments Accelerating Discovery with the AI for Math Initiative 3 points | 0 comments Soon You'll Be Able to Shop Walmart in ChatGPT. Here's Why It Matters 3 points | 0 comments Experimenting with ACL2 and Claude Code 1 points | 0 comments The Stanford Dropout Building an AI to Solve Math's Hardest Problems 2 points | 0 comments Pope Leo Takes on AI 1 points | 0 comments 0 points | 0 comments New elliptic curve breaks 18-year-old record 173 points | 52 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math 31 points | 5 comments Cardano chief donates $20m to establish Carnegie University mathematics centre 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments IBM,White House,DoE start consortium to give coronavirus researchers HPC access 2 points | 0 comments The Ivory Tower Can’t Keep Ignoring Tech 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments