aaraujo002
- Karma
- 914
- Created
- 4 years ago
Recent Submissions
- 1. ▲ Fermat's Last Theorem in Lean 4 (github.com)
- 2. ▲ Corporate America is getting hooked on open-source AI (nytimes.com)
- 3. ▲ Mark Zuckerberg Wants to Make Sure His Competitors Share His Pain (nytimes.com)
- 4. ▲ Improving the Matrix Multiplication Exponent (arxiv.org)
- 5. ▲ Mathematics in the Age of AI (arxiv.org)
- 6. ▲ As France's Elders Swelter in the Heat, Postal Workers Come to the Rescue (nytimes.com)
- 7. ▲ A New Chapter for Reve (blog.reve.com)
- 8. ▲ Meta Delays Rollout of New A.I. Model After Performance Concerns (nytimes.com)
- 9. ▲ We built a browser with GPT-5.2 in Cursor (xcancel.com)
- 10. ▲ Trump Clears Sale of More Powerful Nvidia A.I. Chips to China (nytimes.com)