frozenseven
- Karma
- 539
- Created
- 2 years ago
Recent Submissions
- 1. ▲ Xiaomi MiMo-v2.6 Breaks Cover: A 1T-Class Chinese Lab Trains in Public (forkast.news)
- 2. ▲ List of mathematical discoveries by artificial intelligence (en.wikipedia.org)
- 3. ▲ Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware (extropic.ai)
- 4. ▲ Lean AI Formalization Leaderboard (lean-lang.org)
- 5. ▲ Creating Post-Training Datasets for Research-Level Mathematics (matharena.ai)