nowfound

Life & fun · August 7, 2025

SA

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

Visit zenodo.org ↗Alternatives

What it does

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 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. The full argument is technical, but I tried to keep it logically structured. The preprint is 93 pages long. It was originally written in Russian, and I created an English version via machine translation, so apologies in advance for awkward wording or formatting. DOI and full paper (both languages): https://doi.org/10.5281/zenodo.16759468 I’m genuinely open to feedback — whether it’s pointing out flaws, questioning assumptions, or just explaining why this approach doesn’t work. Any form of critical input is welcome. If there’s interest, I can also create a short video explanation in simple terms to walk through the core ideas — even though I don’t have a channel or any audience yet. Thanks in advance for taking the time, even if it’s just to skim or tell me what to fix!

Does the same job

all alternatives →

More life & fun this month

the category →
  • TL
    The load-bearing vocabulary of Claude▲703

    Life & fun · 10d ago · louisabraham.github.io

  • iPhone app takes simultaneous images from 2 lenses, fuses into 1 photo▲329

    Photosynthesis fires two of your iPhone

    Life & fun · 28d ago · photosynthesis.camera

  • SoloUno▲310

    Take control of hair pulling, nail biting & skin picking

    Life & fun · 28d ago · solouno.io

  • Scroll through all 43252003274489856000 Rubik's Cube states▲295

    Scroll through all 43,252,003,274,489,856,000 reachable Rubik's Cube permutations.

    Life & fun · 26d ago · everycube.alen.is

  • Expeditione▲265

    The Interactive 3D Encyclopedia

    Life & fun · 21d ago · expeditione.fun

  • Eigendrum - Draw any shape and hear what it sounds like as a drum▲243

    Hi HN, I built Eigendrum, a web tool that solves the 2D wave equation for arbitrary shapes so you can hear what they sound like as drums. How it works: * Solves -∇²u = λu using finite element analysis (Kφ = λMφ) on a triangle mesh. * Validated to <0.1% error against closed-form solutions for circles (Bessel zeros) and rectangles. * Sound model factors in strike location, Rayleigh damping, and mallet width. * Includes Kac drums I & II to demonstrate identical sound spectra from different geometries. * No frameworks, build steps, or dependencies. Repo and tests:…

    Life & fun · 27d ago · baselashraf81.github.io

Launched alongside, August 2025

the whole month →
  • Trace▲1,556

    Workflow Automations for the Human 👾 AI Workforce

    AI · 2025 · trace.so

  • IS
    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:&#x2F;&#x2F;kilopx.com&#x2F;

    Work · 2025 · benholmen.com

  • Indy AI by Contra▲1,070

    Job boards are dead. Your network is alive

    AI · 2025 · contra.com

  • KT
    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…

    Dev tools · 2025 · github.com

  • IW
    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:&#x2F;&#x2F;visualrambling.space&#x2F;moving-objects-in-3d&#x2F; feel free to visit and let me know what you think!

    Life & fun · 2025 · visualrambling.space

  • TC
    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:&#x2F;&#x2F;github.com&#x2F;dnlzro&#x2F;horizon [1] https:&#x2F;&#x2F;html.energy&#x2F;html-day&#x2F;2025&#x2F;index.html

    Dev tools · 2025 · sky.dlazaro.ca