frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

https://twitter.com/BoWang87/status/2037648937453232504
59•mean_mistreater•1h ago
Knuth Claude's Cycles note update: problem now fully solved, by LLMs - https://news.ycombinator.com/item?id=47306926 - March 2026 (2 comments)

https://chatgpt.com/share/69aaab4b-888c-8003-9a02-d1df80f9c7...

Claude's Cycles [pdf] - https://news.ycombinator.com/item?id=47230710 - March 2026 (362 comments)

Comments

adrithmetiqa•1h ago
Super interesting but what does this mean for us mere mortals?
brcmthrowaway•57m ago
Learn plumbing
NitpickLawyer•50m ago
I know your reply was half joking, so please take this the same way, but ... are you sure about that? https://www.youtube.com/watch?v=p1ip68Vv7NE
dakolli•45m ago
AI isn't replacing anything, get over yourself.
brcmthrowaway•44m ago
Arent you using Claude?
oytis•43m ago
There is no reason why market for plumbing will get much larger than it is now (which is not too large)
incognito124•14m ago
Where I live it's bathroom and kitchen tiling
dataviz1000•46m ago
I got Claude to self reference and update its own instructions to solve making a typed proxy API of any website. After a week, scores of iterations, it can reverse engineer any website. The first few days I had to be deeply involved with each iteration loop. Domain knowledge is helpful. Each time I saw a problem I would ask Claude to update its instructions so it doesn't happen again. Then less and less. Eventually it got to the point it was updating and improving the metrics every iteration unsupervised.

Edit: This is going to have huge ramifications for the tech security industry as these systems will be able to break security systems as easily it solved the proof. The sooner the good guys, if there are any left, understand this the better it will be for everybody.

> Super interesting but what does this mean for us mere mortals?

I would go for a 2 or 3 hour walk with my phone using the remote control feature looking every 5 - 10 minutes to make sure it doesn't need human help. I went to the coffeeshop and drank very good coffee listening to music. Then at night I sat and had a beer thinking about T.S. Eliot's 'The Wasteland', the effect of industrialization in England at that time and his views of how ennui affected the aristocracy.

DrewADesign•16m ago
> I went to the coffeeshop and drank very good coffee listening to music. Then at night I sat and had a beer thinking about T.S. Eliot's 'The Wasteland', the effect of industrialization in England at that time and his views of how ennui affected the aristocracy.

Well, for those among us that are not aristocracy already, except for the vanishingly small number of people required to oversee such processes, we’re probably the closest we’re going to get to it. If they don’t need people to do the tech labor, we’ve got way more people than we need, so that’s a huge oversupply of tech skills, which means tech skills are rapidly becoming worthless. Glad to see how fast we’re moving in our very own race to the bottom!

drfloyd51•8m ago
I kind of feel like software engineers working on improving AI are traitors working against other SE’s trying to make a living.

However…

I have to acknowledge my craft of SE has been putting people out of work for decades. I myself came up with business process improvement that directly let the company release about 20 people. I did this twice.

So… fair play.

frizlab•10m ago
> I would go for a 2 or 3 hour walk with my phone using the remote control feature looking every 5 - 10 minutes to make sure it doesn't need human help.

That is a nightmarish scenario tbh

TrainedMonkey•44m ago
My understanding is that, if confirmed, this demonstrates that AI can find novel solutions. This is a strong counterpoint to generative-AI-is-strictly-limited-to-training-data.
heliumtera•15m ago
That llms in the middle of everything will continue until morale improve because llms can generate text on top of bullshit made up problems

I Decompiled the White House's New App

https://blog.thereallo.dev/blog/decompiling-the-white-house-app
1•ohjeez•59s ago•0 comments

Iran images appear to show land mines scattered by U.S. forces, a first in years

https://www.washingtonpost.com/investigations/2026/03/27/iran-us-land-mines/
2•hebelehubele•6m ago•0 comments

Ex-Physicist Might Be the Future of Music. He's Also Enemy No. 1

https://www.wsj.com/arts-culture/music/suno-ceo-mikey-shulman-ai-music-512b78da
1•bookofjoe•6m ago•1 comments

Look into the Teleportation Project by Johnny Vincento

1•KatyPhysicsGirl•6m ago•0 comments

Who Wins If AI Models Commoditize? – With Mistral CEO Arthur Mensch [video]

https://www.youtube.com/watch?v=xxUTdyEDpbU
2•layer8•8m ago•0 comments

Researchers at CERN transport antiprotons by truck in world‑first experiment

https://physicsworld.com/a/researchers-at-cern-transport-antiprotons-by-truck-in-world-first-expe...
1•naves•8m ago•0 comments

Audoctl – Event Ingestion and Timeline API for AI Workflows (Go and Fiber)

https://github.com/audoctl/audoctl
1•eyup-devop•10m ago•0 comments

"Educational" AI videos on YouTube accused of teaching children bad behavior

https://www.dexerto.com/youtube/educational-ai-youtube-videos-accused-of-teaching-kids-to-play-in...
2•01-_-•14m ago•0 comments

Tell HN: We built our own SAT solver for SHA-256

2•logicallee•14m ago•0 comments

Next-Generation Water Satellite Maps Seafloor from Space

https://www.nasa.gov/missions/swot/next-generation-water-satellite-maps-seafloor-from-space/
1•bryanrasmussen•14m ago•0 comments

Argus-LLM – open-source LLM output evaluation across 6 dimensions

https://github.com/anilatambharii/argus-ai
1•anilsprasad7•15m ago•1 comments

Open-source GEO audit – test your brand visibility across 7 AI engines

https://github.com/FayAndXan/xanlens
1•fay_•17m ago•0 comments

How the (Em)ighty Have Fallen

https://dhruvahuja.me/posts/emighty-have-fallen/
2•dhruv_ahuja•18m ago•0 comments

Mitochondria Delivery Method Rescues Parkinson's in Mice

https://lifespan.io/news/mitochondria-delivery-method-rescues-parkinsons-in-mice/
1•RobotToaster•19m ago•0 comments

Progress on Starbase Pads Ahead of Block 3 Starships

https://www.nasaspaceflight.com/2026/03/progress-starbase-pads-block-3-starships/
1•JumpCrisscross•27m ago•0 comments

When the bill comes due: the economics of AI coding tools

https://daniakash.com/blog/when-the-bill-comes-due
3•DaniAkash•30m ago•2 comments

Exceptional fake SSD clone of Samsung 990 Pro is almost impossible to spot

https://www.tomshardware.com/pc-components/ssds/exceptional-fake-ssd-clone-of-samsung-990-pro-is-...
5•speckx•39m ago•3 comments

Kemforge, a Quantum-Safe curl alternative to test ML-KEM

https://github.com/ConnectingApps/kemforge
1•DaanAcohen•40m ago•0 comments

Show HN: a Rust CLI to automatically swap monitor focus based on your gaze

https://github.com/pranavkarthik10/miru
3•treexs•42m ago•1 comments

Why Semi-Autonomous, Not Autonomous?

https://reikon.io/blog/semi-autonomous/
2•Monotoko•44m ago•2 comments

Don't Trust, Verify

https://daniel.haxx.se/blog/2026/03/26/dont-trust-verify/
3•lwhsiao•47m ago•0 comments

From latent spaces to JWTs: how agents taught me backend

https://blog.cobanov.dev/blog/agents
2•cobanov•49m ago•0 comments

When Brands Wear an Insult as a Badge of Honor

https://sloanreview.mit.edu/article/when-brands-wear-an-insult-as-a-badge-of-honor/
2•gnabgib•51m ago•0 comments

Lifetime subscriptions don't mean what you think they mean

https://productimpossible.com/review/lifetime-subscriptions-trap/
5•lest•56m ago•2 comments

Camden, N.J., Cut Its Murder Rate to a 40-Year Low

https://www.nytimes.com/interactive/2026/03/27/headway/camden-nj-murder-rate-gun-violence.html
1•JumpCrisscross•57m ago•0 comments

Gaza toddler released from Israeli custody with 'cigarette burn' wounds

https://web.archive.org/web/20260000000000*/https://www.middleeasteye.net/news/gaza-toddler-relea...
19•Imustaskforhelp•1h ago•15 comments

Off Grid Fteepee

https://klumpen.eu/
1•worik•1h ago•0 comments

Rivian Made Car Dealers Back Down in Washington. More States May Be Next

https://www.wsj.com/business/autos/rivian-made-car-dealers-back-down-in-washington-more-states-ma...
1•JumpCrisscross•1h ago•0 comments

Please Stop Talking about "Zoomers" and "Gen Alpha"

https://www.richardhanania.com/p/please-stop-talking-about-zoomers
2•paulpauper•1h ago•0 comments

Did Paul Conyngham use AI to develop a cancer treatment for his dog?

https://hedonicescalator.substack.com/p/did-paul-conyngham-really-use-ai
1•paulpauper•1h ago•0 comments