Alternatives
Products that do what truthagi.ai does
The first geometric AGI — discernment from math, not scale
- 1IM
This is the first iteration of a short game I’m making that tries to interactively explain some of my favorite math questions / ideas. My goal is mostly to get the player curious and not necessarily to explain absolutely everything. There were a lot of fun technical parts to building this: - For implementation reasons, it’s much easier if the lines all have integer intersection points with each other. To do this, when a new line is added I “cheat” by rounding intersections to integers and then splitting the old lines at the intersection into new linds (with potentially different slopes)…
2024 · rahulilango.com
- 2IL
2018 · intuitive-math.club
- 3AA
2017 · github.com
- 4
- 5IT
2018 · wykobi.com
- 6FP
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia…
2025 · github.com
- 7
- 8PC
2017 · proofcompanion.com
- 9FV
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps. Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM. Also check out the web demo built around the verified core linked in…
Jun 2026 · github.com
- 10SA
Steiner is a series of reasoning models trained on synthetic data using reinforcement learning. These models can explore multiple reasoning paths in an autoregressive manner during inference and autonomously verify or backtrack when necessary, enabling a linear traversal of the implicit search tree. Blog: https://medium.com/@peakji/a-small-step-towards-reproducing-... Hugging Face: https://huggingface.co/collections/peakji/steiner-preview-67...
2024 · medium.com
- 11AG
OP here. This is a geometric decoding of Chopin's Prelude No. 4. I built a 3D music midi visualizer ( https://github.com/jimishol/cholidean-harmony-structure ) and realized that standard music theory couldn't explain the shapes I was seeing. So, I developed the Umbilic-Surface Grammar to map the topology of the harmony. This document demonstrates that the prelude's tension isn't random, but a rigorous conflict between 'Gravity' (Station Shifts) and 'Will' (Pivots). I am looking for feedback on the logic—specifically from anyone with a background in topology or music…
Feb 2026 · github.com
- 12
The first open model as performant as Opus 4.6, 96% cheaper
Apr 2026 · arcee.ai
- 13AH
This paper formally defines where current AGI hits a structural wall — not a technical one. It shows that no amount of scaling, reinforcement learning, or recursive optimization will break through three deep epistemological and formal constraints: 1. Semantic Closure — An AI system cannot generate outputs that require meaning beyond its internal frame. 2. Non-Computability of Frame Innovation — New cognitive structures cannot be computed from within an existing one. 3. Statistical Breakdown in Open Worlds — Probabilistic inference collapses in environments with heavy-tailed uncertainty.…
2025
- 14RV
While studying Geometric Algebra I have built some interactive visualization to demonstrate how geometric transformations (rotation, scaling, translation) can be constructed by just composing reflections. Accepting reflection as the most elementary geometric operation was an eye opening moment for me. I think some of you might enjoy the interactive visuals.
16d ago · static.laszlokorte.de
- 15CC
Yesterday I built something that probably shouldn’t exist yet. In 9 hours, I created a cognitive architecture demonstrating emergent reasoning. It follows a 5-step loop: Plan → Reason → Act → Reflect → Respond. Adding a WebSearchTool to test extensibility, the agent initially failed its first search, reflected on poor results, adapted its query, and then succeeded. This behavior wasn’t programmed; it emerged naturally from the architecture. Five hours later, I integrated a FileManagerTool — it worked on the first try. Like code compiling first time, except this was intelligence composing…
2025 · github.com
- 16NA
2020 · nodi3d.com
- 17MO
If AI got lucky or not, AI is surely going to assist in solving serious math problems. If you want to spend your resources/weekends contributing, this repository is full of math problems where you can add your thoughts (or proofs - for you Good Will Hunting type people) for others to build on it and we all together can try to change the world of math. I have already extended the research with manual proof of Jacobian Conjecture that was posted on Twitter (with attribution).
Jul 2026 · github.com
- 18
- 19
- 20IA
I’m an independent researcher proposing State Discrepancy, a public-domain metric to quantify how much an AI system changes a user’s intent (“the Ghost”). The goal: replace vague legal and philosophical notions of “manipulation” with a concrete engineering variable. Without clear boundaries, AI faces regulatory fog, social distrust, and the risk of being rejected entirely. Algorithm 1 (on pp.16–17 of the linked white paper) formally defines the metric: 1. D = CalculateDistance(VisualState, LogicalState) 2. IF D < α : optimization (Reduce Update Rate) 3. ELSE IF α ≤ D < β : warning (Apply…
Jan 2026
- 21EE
Hello HN! We're the team behind Epistemeland (https://epistemeland.com/), a platform dedicated to making learning fun and accessible. We've just released a prototype of a single player game that uses basic geometry. It is a fist, but an important step in creating our MMO game to revolutionize education. The game mechanics are simple but intriguing and naturally incorporated in the game process. We built it with UE5 and want to continue development. We'd love for you to try it out and give us your feedback, which we'll use to guide our next improvement cycle. Our goal is to…
2023 · epistemeland.com
- 22PA
Hey HN, I’m excited to share PRISM, an open-source system we’ve been building that fuses multiple AI models (OpenAI, Anthropic, and FAL API) with Processing to create evolving geometric art and static images. The idea came from our fascination with how AI can generate new forms but often lacks a memory or evolutionary approach. PRISM aims to solve that by “remembering” past successes and failures and then adapting its creative approach over time + useful for automating batches and variations of specific styles of techniques with prompt adjusting. *Key Features:* - Multi-model AI Generation:…
2025 · github.com
- 23LA
Hey HN! We built *lapisla*, a theorem proving platform designed to make formal proofs more open and collaborative. We developed a kernel, editor, proof registry, and platform ── all accessible directly in the browser. Why we built this: Existing theorem provers are powerful, but they often feel isolated and difficult to extend. Unlike modern programming languages, which thrive on package managers and shared libraries, theorem proving tools lack a seamless way to integrate others' work. lapisla aims to bridge this gap by: * Offering a verified public proof registry for sharing and discovering…
2025 · github.com
- 24SA
Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.
Jul 2026 · prooftree.ai
Ranked by how close each launch is in meaning, then by votes. Refine with a description →