frozenseven's submissions

1.		List of mathematical discoveries by artificial intelligence (wikipedia.org)
		4 points by frozenseven 23 hours ago \| past \| discuss
2.		Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware (extropic.ai)
		2 points by frozenseven 4 days ago \| past \| 1 comment
3.		Lean AI Formalization Leaderboard (lean-lang.org)
		1 point by frozenseven 6 days ago \| past \| discuss
4.		Creating Post-Training Datasets for Research-Level Mathematics (matharena.ai)
		3 points by frozenseven 11 days ago \| past \| discuss
5.		Agnes AI Releases Agnes 2.5 Pro Beta (artificialanalysis.ai)
		3 points by frozenseven 12 days ago \| past \| 1 comment
6.		Evolve: An incremental game about evolving a civilization (pmotschmann.github.io)
		92 points by frozenseven 25 days ago \| past \| 30 comments
7.		Gitizens - A Git-native civilization loop (github.com/ordinary9843)
		1 point by frozenseven 25 days ago \| past
8.		Gemini 3.7 Flash: On the Intelligence vs. Time per Task Pareto frontier (artificialanalysis.ai)
		2 points by frozenseven 26 days ago \| past
9.		Super Mario Bros. speedrunning (wikipedia.org)
		2 points by frozenseven 26 days ago \| past
10.		List of Unsolved Problems in Mathematics (wikipedia.org)
		2 points by frozenseven 27 days ago \| past
11.		Discovery of 'slow' electrons in 2D material could lead to new memory device (phys.org)
		2 points by frozenseven 28 days ago \| past \| 1 comment
12.		delegate-skills (github.com/amelnagdy)
		2 points by frozenseven 28 days ago \| past
13.		NVIDIA & partners to mobilize over $500B of third-party capital for AI buildout (nvidia.com)
		1 point by frozenseven 28 days ago \| past
14.		Glitchwave Game Charts (glitchwave.com)
		4 points by frozenseven 30 days ago \| past
15.		Archive.st - Archive a Webpage (archive.st)
		5 points by frozenseven 30 days ago \| past \| 2 comments
16.		Neural Scaling Law (wikipedia.org)
		3 points by frozenseven 30 days ago \| past
17.		TheoremDB – A public workspace for machine mathematics (theoremdb.org)
		104 points by frozenseven 31 days ago \| past \| 20 comments
18.		Deathwatch - Archiveteam (archiveteam.org)
		2 points by frozenseven 32 days ago \| past
19.		Artificial Analysis Intelligence Index v4.1.1 (artificialanalysis.ai)
		1 point by frozenseven 33 days ago \| past
20.		The Importance of a Problem List (mathinstitutes.org)
		4 points by frozenseven 34 days ago \| past
21.		Lenia - a system of continuous cellular automata (chakazul.github.io)
		2 points by frozenseven 35 days ago \| past
22.		VibeMathed - Math Problems Solved by AI (vibemathed.com)
		2 points by frozenseven 35 days ago \| past
23.		Why did we wait so long for the bicycle? (2019) (rootsofprogress.org)
		82 points by frozenseven 36 days ago \| past \| 69 comments
24.		Busy Beaver Holdouts Lists (bbchallenge.org)
		15 points by frozenseven 38 days ago \| past
25.		Expanded Genetic Code (wikipedia.org)
		3 points by frozenseven 38 days ago \| past
26.		Singleton Attractors in Recursive Self-Improvement Dynamics [pdf] (nathanlangley.dev)
		2 points by frozenseven 41 days ago \| past \| 1 comment
27.		Mindstorms in Natural Language-Based Societies of Mind (NLSOM) (github.com/metauto-ai)
		2 points by frozenseven 42 days ago \| past \| 1 comment
28.		ProofCouncil: An LLM Agent for Solving Open Mathematical Problems (arxiv.org)
		3 points by frozenseven 42 days ago \| past \| 1 comment
29.		Hypothetical Types of Biochemistry (wikipedia.org)
		2 points by frozenseven 43 days ago \| past
30.		Loop Engineering (addyosmani.com)
		2 points by frozenseven 61 days ago \| past
		More