frozenseven | Dark Hacker News

1.	Xiaomi MiMo-v2.6 Breaks Cover: A 1T-Class Chinese Lab Trains in Public(forkast.news) 3 points by frozenseven 13 days ago \| 0 comments
2.	List of mathematical discoveries by artificial intelligence(en.wikipedia.org) 6 points by frozenseven 24 days ago \| 0 comments
3.	Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware(extropic.ai) 3 points by frozenseven 28 days ago \| 1 comment
4.	Lean AI Formalization Leaderboard(lean-lang.org) 1 points by frozenseven 29 days ago \| 0 comments
5.	Creating Post-Training Datasets for Research-Level Mathematics(matharena.ai) 3 points by frozenseven 35 days ago \| 0 comments
6.	Agnes AI Releases Agnes 2.5 Pro Beta(artificialanalysis.ai) 3 points by frozenseven 35 days ago \| 1 comment