HN Explorer

frozenseven

↗ HN profile [ 132 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. List of mathematical discoveries by artificial intelligence (en.wikipedia.org)
    1 points 0
  2. Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware (extropic.ai)
    1 points 1
  3. Lean AI Formalization Leaderboard (lean-lang.org)
    1 points 0
  4. Creating Post-Training Datasets for Research-Level Mathematics (matharena.ai)
    1 points 0
  5. Agnes AI Releases Agnes 2.5 Pro Beta (artificialanalysis.ai)
    1 points 1
  6. Evolve: An incremental game about evolving a civilization (pmotschmann.github.io)
    4 points 30
  7. Gitizens - A Git-native civilization loop (github.com)
    1 points 0
  8. Gemini 3.7 Flash: On the Intelligence vs. Time per Task Pareto frontier (artificialanalysis.ai)
    1 points 0
  9. Super Mario Bros. speedrunning (en.wikipedia.org)
    2 points 0
  10. List of Unsolved Problems in Mathematics (en.wikipedia.org)
    2 points 0
  11. Discovery of 'slow' electrons in 2D material could lead to new memory device (phys.org)
    2 points 1
  12. delegate-skills (github.com)
    2 points 0
  13. NVIDIA & partners to mobilize over $500B of third-party capital for AI buildout (nvidianews.nvidia.com)
    1 points 0
  14. Glitchwave Game Charts (glitchwave.com)
    4 points 0
  15. Archive.st - Archive a Webpage (archive.st)
    5 points 2
  16. Neural Scaling Law (en.wikipedia.org)
    3 points 0
  17. TheoremDB – A public workspace for machine mathematics (theoremdb.org)
    104 points 12
  18. Deathwatch - Archiveteam (wiki.archiveteam.org)
    2 points 0
  19. Artificial Analysis Intelligence Index v4.1.1 (artificialanalysis.ai)
    1 points 0
  20. The Importance of a Problem List (mathinstitutes.org)
    4 points 0
  21. Lenia - a system of continuous cellular automata (chakazul.github.io)
    2 points 0
  22. VibeMathed - Math Problems Solved by AI (vibemathed.com)
    2 points 0
  23. Why did we wait so long for the bicycle? (2019) (blog.rootsofprogress.org)
    82 points 21
  24. Busy Beaver Holdouts Lists (wiki.bbchallenge.org)
    15 points 0
  25. Expanded Genetic Code (en.wikipedia.org)
    3 points 0