Polypad(polypad.amplify.com)

197 points by ivank 5 months ago | 23 comments

Paper Models of Polyhedra(polyhedra.net)

20 points by pykello 1 month ago | 0 comments

Polyhedra Viewer(polyhedra.tessera.li)

17 points by HellsMaddy 1 year ago | 1 comments

The Johnson Solids (2019)(qfbox.info)

50 points by twoodfin 2 years ago | 20 comments

Steffen's Polyhedron(gregegan.net)

56 points by pavel_lishin 1 month ago | 5 comments

Show HN: Simply explain 20k concepts using GPT(platoeducation.ai)

36 points by kirill5pol 3 years ago | 18 comments

Polyedergarten: Garden of Paper Polyhedron Models(polyedergarten.de)

47 points by isaacimagine 25 days ago | 5 comments

Personal website showcasing paper models of polyhedra, including Platonic and Archimedean solids, with VRML models and multilingual navigation.

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(github.com)

20 points by tootie 19 days ago | 6 comments

GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.

Manim: Animation engine for explanatory math videos(github.com)

388 points by pykello 1 year ago | 65 comments

GitHub repository for Manim, 3Blue1Brown's Python animation engine for creating explanatory math videos.

Why Math Dumped OpenAI(raymyers.org)

11 points by xeonmc 9 days ago | 0 comments

A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.

The Post-AGI Era(avidfayaz.com)

10 points by Avid_F 1 month ago | 3 comments

A personal blog essay on Fayaz Notes arguing that AGI has arrived and exploring what the post-AGI era means.

The Mathocalypse(scottaaronson.blog)

361 points by 6bitquant 18 days ago | 380 comments

Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.