frozenseven

533 karmajoined February 26, 2024On HN

Recent submissions

List of mathematical discoveries by artificial intelligence en.wikipedia.org
5frozenseven3ddiscuss
Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware extropic.ai
2frozenseven7d1 comment
Lean AI Formalization Leaderboard lean-lang.org
1frozenseven9ddiscuss
Creating Post-Training Datasets for Research-Level Mathematics matharena.ai
3frozenseven14ddiscuss
Agnes AI Releases Agnes 2.5 Pro Beta artificialanalysis.ai
3frozenseven15d1 comment
Evolve: An incremental game about evolving a civilization pmotschmann.github.io
92frozenseven27d30 comments
Gitizens - A Git-native civilization loop github.com/ordinary9843
1frozenseven27ddiscuss
Gemini 3.7 Flash: On the Intelligence vs. Time per Task Pareto frontier artificialanalysis.ai
2frozenseven28ddiscuss
Super Mario Bros. speedrunning en.wikipedia.org
2frozenseven28ddiscuss
List of Unsolved Problems in Mathematics en.wikipedia.org
2frozenseven29ddiscuss
Discovery of 'slow' electrons in 2D material could lead to new memory device phys.org
2frozenseven1mo1 comment
delegate-skills github.com/amElnagdy
2frozenseven1modiscuss
NVIDIA & partners to mobilize over $500B of third-party capital for AI buildout nvidianews.nvidia.com
1frozenseven1modiscuss
Glitchwave Game Charts glitchwave.com
4frozenseven1modiscuss
Archive.st - Archive a Webpage archive.st
5frozenseven1mo2 comments
Neural Scaling Law en.wikipedia.org
3frozenseven1modiscuss
TheoremDB – A public workspace for machine mathematics theoremdb.org
104frozenseven1mo20 comments
Deathwatch - Archiveteam wiki.archiveteam.org
2frozenseven1modiscuss
Artificial Analysis Intelligence Index v4.1.1 artificialanalysis.ai
1frozenseven1modiscuss
The Importance of a Problem List mathinstitutes.org
4frozenseven1modiscuss

All submissions and comments on Hacker News.