frozenseven
- Karma
- 534
- Created
- 2 years ago
Recent Submissions
- 1. ▲ List of mathematical discoveries by artificial intelligence (en.wikipedia.org)
- 2. ▲ Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware (extropic.ai)
- 3. ▲ Lean AI Formalization Leaderboard (lean-lang.org)
- 4. ▲ Creating Post-Training Datasets for Research-Level Mathematics (matharena.ai)
- 5. ▲ Agnes AI Releases Agnes 2.5 Pro Beta (artificialanalysis.ai)
- 6. ▲ Evolve: An incremental game about evolving a civilization (pmotschmann.github.io)