HN Explorer

frozenseven

↗ HN profile [ 160 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. The Trinity: Capability-Driven Recursive Self-Improvement for Multimodal Agents (arxiv.org)
    1 points 1
  2. Echo-3 and the SpAItial App (spaitial.ai)
    1 points 0
  3. Xiaomi MiMo-v2.6 Breaks Cover: A 1T-Class Chinese Lab Trains in Public (forkast.news)
    1 points 0
  4. List of mathematical discoveries by artificial intelligence (en.wikipedia.org)
    1 points 0
  5. Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware (extropic.ai)
    1 points 1
  6. Lean AI Formalization Leaderboard (lean-lang.org)
    1 points 0
  7. Creating Post-Training Datasets for Research-Level Mathematics (matharena.ai)
    1 points 0
  8. Agnes AI Releases Agnes 2.5 Pro Beta (artificialanalysis.ai)
    1 points 1
  9. Evolve: An incremental game about evolving a civilization (pmotschmann.github.io)
    4 points 30
  10. Gitizens - A Git-native civilization loop (github.com)
    1 points 0
  11. Gemini 3.7 Flash: On the Intelligence vs. Time per Task Pareto frontier (artificialanalysis.ai)
    1 points 0
  12. Super Mario Bros. speedrunning (en.wikipedia.org)
    2 points 0
  13. List of Unsolved Problems in Mathematics (en.wikipedia.org)
    2 points 0
  14. Discovery of 'slow' electrons in 2D material could lead to new memory device (phys.org)
    2 points 1
  15. delegate-skills (github.com)
    2 points 0
  16. NVIDIA & partners to mobilize over $500B of third-party capital for AI buildout (nvidianews.nvidia.com)
    1 points 0
  17. Glitchwave Game Charts (glitchwave.com)
    4 points 0
  18. Archive.st - Archive a Webpage (archive.st)
    5 points 2
  19. Neural Scaling Law (en.wikipedia.org)
    3 points 0
  20. TheoremDB – A public workspace for machine mathematics (theoremdb.org)
    104 points 12
  21. Deathwatch - Archiveteam (wiki.archiveteam.org)
    2 points 0
  22. Artificial Analysis Intelligence Index v4.1.1 (artificialanalysis.ai)
    1 points 0
  23. The Importance of a Problem List (mathinstitutes.org)
    4 points 0
  24. Lenia - a system of continuous cellular automata (chakazul.github.io)
    2 points 0
  25. VibeMathed - Math Problems Solved by AI (vibemathed.com)
    2 points 0