Lech Mazur's ProofAtlas harness, running GPT-6 Pro, found a proof that every 3-connected planar graph admits a convex greedy drawing, the strong Papadimitriou–Ratajczak conjecture. The proof is formalized in 52,000 lines of Lean, with the paper and formalization linked.96 saves on X
A conjecture open since 2004 is now a theorem, checked in LeanScience@LechMazur2073396
0:19
Indie dev devseb is remaking a 2019 game, Soccer Pinball Pro, in Unity with GPT-6 Astra and Codex. Day 1 to day 7: rebuilt players, smarter AI, passing, tackles, bicycle kicks, a dynamic camera, new lighting and grass, a scoreboard, goal effects and a PvE match mode.723 saves on X
A 2019 soccer pinball game rebuilt in seven days with Astra and UnityGames@astrohound1.3K76723
2:16
Emm Tee took a game from first prompt to a finished, playable build with GPT-6 Astra, burning 1.6 billion tokens along the way, then wrote a long read on everything learned about making almost any game with it.7.7K saves on X
A finished, playable game built with 1.6 billion GPT-6 Astra tokensGames@builtbysketch6.8K5167.7K
1 / 4
Alban Glazman, a freelancer, ran Homer's Odyssey through Midjourney in its high-definition mode and posted four scenes from the epic.1.3K saves on X
Scenes from the Odyssey drawn in MidjourneyArt, video & music@alban_gz5.5K4511.3K
1:28
Amaan built gaspy for a Bangalore startup's SDE assignment: ingest, chunk, embed and retrieve all inside Neon Postgres with pgvector and handwritten SQL, no Pinecone or LangChain. Below a 0.6 cosine threshold the LLM is skipped and the bot says it doesn't know. The founder never wrote back.197 saves on X
A RAG support bot built in Postgres alone for a take-home assignmentApps & websites@dextertwts2668197
0:33
Parv Kapoor, a researcher at genrobotics_ai, asked GPT-6 Astra to turn a single image into an interactive simulation, a real2sim task that used to take whole research papers. It got the colour of the liquid nearly right, though it could not simulate the reaction.193 saves on X
An interactive simulation environment built from one image, zero-shotScience@Parvkpr29738193