HNHacker News
TopNewBestAskShowJobs

frozenseven

534 karma · joined February 26, 2024

submissionscomments

Xiaomi MiMo-v2.6 Breaks Cover: A 1T-Class Chinese Lab Trains in Public

forkast.news·3 pts·frozenseven·
0

List of mathematical discoveries by artificial intelligence

en.wikipedia.org·6 pts·frozenseven·
0

Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware

extropic.ai·3 pts·frozenseven·
1

Lean AI Formalization Leaderboard

lean-lang.org·1 pts·frozenseven·
0

Creating Post-Training Datasets for Research-Level Mathematics

matharena.ai·3 pts·frozenseven·
0

Agnes AI Releases Agnes 2.5 Pro Beta

artificialanalysis.ai·3 pts·frozenseven·
1

Evolve: An incremental game about evolving a civilization

pmotschmann.github.io·92 pts·frozenseven·
30

Gitizens - A Git-native civilization loop

github.com·1 pts·frozenseven·
0

Gemini 3.7 Flash: On the Intelligence vs. Time per Task Pareto frontier

artificialanalysis.ai·2 pts·frozenseven·
0

Super Mario Bros. speedrunning

en.wikipedia.org·2 pts·frozenseven·
0

List of Unsolved Problems in Mathematics

en.wikipedia.org·2 pts·frozenseven·
0

Discovery of 'slow' electrons in 2D material could lead to new memory device

phys.org·2 pts·frozenseven·
1

delegate-skills

github.com·2 pts·frozenseven·
0

NVIDIA & partners to mobilize over $500B of third-party capital for AI buildout

nvidianews.nvidia.com·1 pts·frozenseven·
0

Glitchwave Game Charts

glitchwave.com·4 pts·frozenseven·
0

Archive.st - Archive a Webpage

archive.st·5 pts·frozenseven·
2

Neural Scaling Law

en.wikipedia.org·3 pts·frozenseven·
0

TheoremDB – A public workspace for machine mathematics

theoremdb.org·104 pts·frozenseven·
20

Deathwatch - Archiveteam

wiki.archiveteam.org·2 pts·frozenseven·
0

Artificial Analysis Intelligence Index v4.1.1

artificialanalysis.ai·1 pts·frozenseven·
0

The Importance of a Problem List

mathinstitutes.org·4 pts·frozenseven·
0

Lenia - a system of continuous cellular automata

chakazul.github.io·2 pts·frozenseven·
0

VibeMathed - Math Problems Solved by AI

vibemathed.com·2 pts·frozenseven·
0

Why did we wait so long for the bicycle? (2019)

blog.rootsofprogress.org·82 pts·frozenseven·
69

Busy Beaver Holdouts Lists

wiki.bbchallenge.org·15 pts·frozenseven·
0

Expanded Genetic Code

en.wikipedia.org·3 pts·frozenseven·
0

Singleton Attractors in Recursive Self-Improvement Dynamics [pdf]

nathanlangley.dev·2 pts·frozenseven·
1

Mindstorms in Natural Language-Based Societies of Mind (NLSOM)

github.com·2 pts·frozenseven·
1

ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

arxiv.org·3 pts·frozenseven·
1

Hypothetical Types of Biochemistry

en.wikipedia.org·2 pts·frozenseven·
0
Page 1 of 5Next →