nowfound

Life & fun · August 7, 2025

Student attempt at proving P ≠ NP using geometry and lattices

Hi everyone, I’m a student with a strong interest in computer science and complexity theory. Recently, I worked on a manuscript attempting to prove that P ≠ NP. I know how this sounds — it’s one of the hardest and most debated problems in CS, and many have tried and failed. I don’t claim to have the final answer, but I believe the approach I used might at least offer some fresh perspective or provoke useful critique. The idea involves geometric separation between deterministic and nondeterministic computation, using high-dimensional lattice constructions and some physics-inspired intuition.…

Student attempt at proving P ≠ NP using geometry and lattices launched on August 7, 2025 with 6 votes and more than 75% of that year's launches. The site was still online in September 2026, 1 year on.

Visit zenodo.org ↗Alternatives

What it does

This preprint presents a new approach to the separation of complexity classes P and NP. Using geometric, algebraic, and spectral methods, the author constructs a framework that suggests the impossibility of solving NP-complete problems by polynomial-time algorithms. The result includes a proof sketch and several theorems leading to the main claim.This English version is an automatic translation of

You are using an outdated browser. Please upgrade your browser to improve your experience. Zenodo is currently experiencing slowness and intermittent outages due to heavy automated traffic from bots and AI crawlers. We are aware of the problem, and our team is focused on stabilizing the service. Thank you for your patience. This preprint presents a new approach to the separation of complexity classes P and NP. Using geometric, algebraic, and spectral methods, the author constructs a framework that suggests the impossibility of solving NP-complete problems by polynomial-time algorithms. The result includes a proof sketch and several theorems leading to the main claim. This English version is…from zenodo.org

In the maker’s words, at launch

Hi everyone, I’m a student with a strong interest in computer science and complexity theory. Recently, I worked on a manuscript attempting to prove that P ≠ NP. I know how this sounds — it’s one of the hardest and most debated problems in CS, and many have tried and failed. I don’t claim to have the final answer, but…

Does a similar job

all alternatives →
  • IM
    I made a puzzle game that gently introduces my favorite math mysteries2024 · rahulilango.com · ▲1,054

    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)…

  • Formalizing Principia Mathematica using Lean2025 · github.com · ▲188

    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…

  • VT
    Visualizing the math that powers 3D character animation2022 · diegomacario.github.io · ▲238

    Hi everyone! I'm the author of this project. I wrote it because I think that the math that makes characters move in games and movies is incredibly beautiful, and I wanted to give others a glimpse into it. It's crazy to think that quaternions, an abstract mathematical tool discovered by William Rowan Hamilton in 1843, would be so perfectly suited to solve hard problems in the world of 3D character animation more than a hundred years later. The story of how he discovered quaternions is also beautiful. Here's an excerpt from Wikipedia: "Hamilton was looking for ways of extending complex numbers…

  • Visual A* pathfinding and maze generation in Python2024 · github.com · ▲135

    I was fascinated reading through another recent HN submission about a highly efficient implementation of A* in Lisp, which got me thinking about how I could do something similar in Python. However, these kinds of pathfinding algorithms really need complex terrain/mazes with interesting obstructions to showcase what they can do and how they work. So, I started thinking about how I could generate cool and diverse random "mazes" (they aren't really mazes, but I'm not sure what the best term is). I got a bit carried away thinking of lots of different cool ways to generate these mazes, such…

  • I made a math puzzle game. Hope you like it2025 · madmonk13.github.io · ▲35

    I've been playing with this for quite some time and I think it's finally ready for public consumption. All feedback welcome.

  • IW
    I wrote a symmetry game with a daily puzzle2024 · hidden-mirrors.com · ▲126

    I’ve been working on a puzzle game for a few years as a side project. The game is based on a small region of tiles in a grid that is mirrored, modified, and mirrored again. It’s based on a novel phenomenon I noticed where, once these mutations happen a few times, the original region can be hard to recognize. You have a feeling there are symmetries in the image, but they are just out of grasp. Going further, if only part of the region is visible, such as mirroring off the edge of the board, it adds to the feeling and it becomes a satisfying puzzle to solve. I originally published this on the…

More life & fun this month

the category →

Source: Show HN post ↗ · launch text quoted in part

Launched alongside, August 2025

the whole month →
  • Trace▲1,555

    Workflow Automations for the Human 👾 AI Workforce

    AI · 2025 · trace.so

  • I spent 6 years building a ridiculous wooden pixel display▲1,145

    I built the world's most impractical 1000-pixel display and anyone in the world can draw on it. It draws a single pixel at a time and takes 30-60 minutes to complete a single image. Anyone can participate in the project by voting for the next image to be drawn, and submitting images. https://kilopx.com/

    Work · 2025 · benholmen.com

  • Indy AI by Contra▲1,070

    Job boards are dead. Your network is alive

    AI · 2025 · contra.com

  • Kitten TTS – 25MB CPU-Only, Open-Source TTS Model▲1,003

    Kitten TTS is an open-source series of tiny and expressive text-to-speech models for on-device applications. We are excited to launch a preview of our smallest model, which is less than 25 MB. This model has 15M parameters. This release supports English text-to-speech applications in eight voices: four male and four female. The model is quantized to int8 + fp16, and it uses onnx for runtime. The model is designed to run literally anywhere eg. raspberry pi, low-end smartphones, wearables, browsers etc. No GPU required! We're releasing this to give early users a sense of the latency and voices…

    AI · 2025 · github.com

  • I was curious about spherical helix, ended up making this visualization▲865

    I was wondering how I can arrange objects along a spherical helix path, and read some articles on it. I ended up learning about parametric equations again, and make this visualization to document what I learned: https://visualrambling.space/moving-objects-in-3d/ feel free to visit and let me know what you think!

    Life & fun · 2025 · visualrambling.space

  • The current sky at your approximate location, as a CSS gradient▲788

    For HTML Day 2025 [1], I made a web service that displays the current sky at your approximate location as a CSS gradient. Colours are simulated on-demand using atmospheric absorption and scattering coefficients. Updates every minute, without the use of client-side JavaScript. Source code and additional information is available on GitHub: https://github.com/dnlzro/horizon [1] https://html.energy/html-day/2025/index.html

    Dev tools · 2025 · sky.dlazaro.ca