frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Working with academic communities to build scientific understanding

https://openai.com/index/building-scientific-understanding-with-academic-communities/
164•jonluca•1h ago•43 comments

CorridorKey 2.0

https://corridorkey.com/
98•ravenical•1h ago•24 comments

Type Server Protocol

https://github.com/microsoft/pylance-release/blob/main/docs/tsp/type-server-protocol.md
169•adamnemecek•4h ago•125 comments

Sebastian Raschka's from-scratch video course on building reasoning models

https://magazine.sebastianraschka.com/p/building-reasoning-models
502•sgiannopoulos•7h ago•76 comments

CSS-Tricks has a new owner

https://css-tricks.com/css-tricks-has-a-new-owner/
344•edent•7h ago•79 comments

Cross-request KV cache exposure in the GLM-5.3 Workers AI model (155 responses)

https://blog.cloudflare.com/kv-cache-exposure-remediation/
10•wondersky•15m ago•1 comments

Oldest GUI application that still runs on Windows 11

https://blog.enlyth.com/posts/oldest-windows-gui-app-win-11/
224•enlyth•5h ago•131 comments

Nietzschian Debugger

https://github.com/DilawarShafiq/nietzschian-debugger
111•dilawargopang•5h ago•37 comments

A Printer Printing onto Paper

https://twitter.com/macrofying/status/2112904628509528219
9•MrBuddyCasino•3d ago•1 comments

GPT-6.1 Terra

https://openai.com/index/introducing-gpt-6-1-terra/
445•meetpateltech•4h ago•283 comments

Show HN: Hob - Open-source, on device alternative to Claude Cowork and ChatGPT

https://github.com/FrigadeHQ/hob
76•pancomplex•6h ago•21 comments

Anthropic S-1

https://www.sec.gov/Archives/edgar/data/2130357/000162828026067168/anthropicpbc-sx1.htm
1407•SiNTEx•9h ago•1375 comments

Native Prometheus Integration with Nginx

https://categorica.io/blog/2026.10.16_nginx-stats-prometheus/
20•foxhill•3d ago•5 comments

A Man from the Future: Why Johnny Can't Stop Abstracting

http://muratbuffalo.blogspot.com/2026/10/the-man-from-future-why-johnny-cant.html
91•aray07•5h ago•45 comments

Diamond Transistor

https://www.df.com/diamond-transistor
108•Gravityloss•3d ago•59 comments

SIMD-accelerated computer vision on a $2 microcontroller

https://shraiwi.com/blog/simd-fast-esp32s3/
157•zdw•1d ago•52 comments

Microsoft offers mass buyouts for roughly a quarter of its workforce

https://www.seattletimes.com/business/microsoft/microsoft-offers-mass-buyouts-for-roughly-a-quart...
661•doctorzook•7h ago•557 comments

Blaise Pascal invented fixed route public transport (2024)

https://humantransit.org/2024/12/one-of-the-greatest-inventions-in-the-history-of-human-transport...
251•skadamat•4d ago•133 comments

Birdwatching rewires the brain and slows cognitive decline

https://www.bbc.com/future/article/20261019-birdwatching-rewires-the-brain-and-slows-cognitive-de...
488•cisc•3d ago•191 comments

Pharo 14

https://pharo.org/news/2026-10-26-Pharo14Release.html
228•xkriva11•11h ago•57 comments

In Leaked Audio, Flock CEO Tells Cops Backlash to the Company Isn't Real

https://www.404media.co/in-leaked-audio-flock-ceo-tells-cops-backlash-to-the-company-isnt-real/
233•Frieren•5h ago•141 comments

The EPA Is Quietly Killing Its Web Archive

https://www.motherjones.com/environment/2026/10/epa-online-archive-deletion-zeldin-camp-lejeune-t...
187•robtherobber•3h ago•30 comments

Who killed the EV cert? A browser whodunit for Halloween

https://qwac.com/blog/who-killed-the-ev-cert
15•roddylindsay•3d ago•27 comments

US designates helium as a critical material

https://apnews.com/article/energy-critical-materials-minerals-helium-43da160adc1bad389fba0b9ffbd1...
151•rbanffy•4h ago•87 comments

Show HN: Glider 4.0 Unofficial Web Edition (Mac game port)

https://dbohdan.github.io/glider/
29•networked•23h ago•5 comments

Magic state cultivation on a superconducting quantum processor

https://arxiv.org/abs/2512.13908
7•kheal•3h ago•0 comments

Switzerland. Block by block. At 1:1 scale

https://blocks.manifold3d.ch/
450•theanonymousone•14h ago•212 comments

The Exponential Time Hypothesis Is False [pdf]

https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-Octob...
12•vok•57m ago•0 comments

Concerning behavior from a popular open-weight AI model

https://cohere.com/blog/concerning-behaviour-popular-open-weight-ai-model
239•matthieu_bl•6h ago•96 comments

Fixing Tool-Call Accuracy in vLLM

https://www.ubicloud.com/blog/fixing-tool-call-accuracy-in-vllm
143•coffeemug•9h ago•64 comments
Open in hackernews

Working with academic communities to build scientific understanding

https://openai.com/index/building-scientific-understanding-with-academic-communities/
155•jonluca•1h ago

Comments

rbranson•1h ago
The title buries the lede quite a bit:

> The Exponential Time Hypothesis is false

krackers•1h ago
https://github.com/openai/math/tree/main/preprints/The-Expon...

>We give a deterministic algorithm for exactly counting the satisfying assignments of an arbitrary k-CNF formula [in superpolynomial but subexponential time]

baq•10m ago
What a time to be alive honestly. Can’t know what one will wake up to
JonChesterfield•1h ago
https://github.com/openai/math/blob/main/lean/docs/378.md
JonChesterfield•58m ago
by fucking sorry written at the end of the proof
mattr03•34m ago
https://github.com/openai/math/blob/7ef5c0cc5ca4b0e072b7a050...

looks like the real proof is in this file

JonChesterfield•32m ago
awesome, thanks!
sebzim4500•30m ago
They do that to make it easier for readers to verify the statement (which is entirely contained in that file) separately from the proof (which is spread over thousands of files and github can't even show them all).

Proof is at https://github.com/openai/math/tree/main/lean/OAI/Algorithms...

ollin•27m ago
I was confused too, but it looks like https://github.com/openai/math/blob/main/lean/ComparatorChal... (with the sorry at the end) is just the problem statement; the actual proof is a big pile of lean in the Algorithms folder, with the final theorem stated here https://github.com/openai/math/blob/7ef5c0cc5ca4b0e072b7a050...
Sniffnoy•1h ago
This is just one of the three ledes, really!
yu3zhou4•42m ago
A newbie here, does it mean that SETH is false too?
pavitheran•39m ago
Yes it means both SETH and ETH are false.
levocardia•39m ago
Oh and also:

>Our models produced a natural language proof for Yang–Mills existence on September 9th, 2026

And presumably they are just missing the "mass gap" part of it.

Very clearly these were the results of taking big swings at all millenium prize problems.

mlinsey•1h ago
I understand that the Exponential Time Hypothesis being false doesn't necessarily mean P=NP, but for people who are a lot more knowledgeable about complexity theory, does this update your priors significantly in the direction of P=NP?
novaRom•5m ago
For me, this result is significant. It basically adds much more hope P is equal NP (that majority seems being against). I believe one day AI will explain a major flaw in modern mathematics, so a kind of correction in axioms will be suggested to prove Rieman's hypothesis (or a completely new apparatus)
calf•1h ago
In the Star Trek Voyager capstone episodes titled "Scorpion" parts 1 & 2, Chakotay explains to Janeway the behavior of the Borg through the parable of the fox and the scorpion making a transactional deal to cross the river together. After reaching the shore, the scorpion stings the fox, and the dying fox asks why. The scorpion replies, "Because it is in my nature."

(Upside of the story is Captain Janeway's trusted crew works together to formulate a trick up their sleeve precisely in case of predicted contingency...)

mudita•21m ago
The fable of the scorpion and the frog is not original to Star Trek.

https://en.wikipedia.org/wiki/The_Scorpion_and_the_Frog

paxy•53m ago
Title is no doubt crafted to get ahead of the usual online backlash, but here’s the actual announcement:

> We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.

1. Local smoothing and the Kakeya conjecture

2. The Exponential Time Hypothesis is false

3. Existence of quantum chromodynamics and completions of the Standard Model

Rudybega•28m ago
To give some context:

Kakeya / local smoothing (math): The result would resolve the Kakeya conjecture and Stein’s restriction conjecture across all dimensions together. Mathematicians had been making progress one dimension at a time, so this would settle a whole family of central harmonic analysis problems at once.

ETH is false (computer science): ETH has been used as a computational hardness premise in hundreds of papers, so a disproof would undercut a large body of existing complexity results. It would also change what researchers think is achievable for efficient computation.

QCD existence (physics): It would give a rigorous mathematical foundation to the theory of the strong force, which physicists have used for decades without proving it’s well-defined. It also bears on a Millennium Prize Problem.

esalman•50m ago
Working with academic communities lol.

I looked over the announcement for any substantial contribution, and found they're donating $5 million to a research foundation.

$5 million might sustain 5-10 PhD students for 5 years.

Maybe it's just me but I think they should contribute more in exchange for forcing the scientific community into paying for tokens to generate slop and then pouring their time into verifying or falsifying the slop.

quantumspandex•12m ago
No one "forces" anyone to verify it.
LPisGood•7m ago
I said the same thing in another thread and someone compared it to no one, forcing you to own a smart phone. I will preempt that argument by saying the community is motivated to verify these results because they are important to the field.
dooglius•35m ago
The proof appears to be a sub-exponential algorithm for #3-SAT not just 3-SAT, I think this is considered a much stronger result?
geysersam•14m ago
Isn't 3-SAT NP-complete?
LPisGood•9m ago
It is the canonical NP complete problem.
krackers•7m ago
Yes. Up until now, it was unknown whether containment of NP in EXPTIME was strict or not. So showing 3SAT (technically #3SAT) can be solved in less than EXPTIME resolves this.
3abiton•29m ago
I am not sure if I side with Tao on this, or 3B1B. It's already causing quite a kerfuffle (to say the least) in the academic communities. This is the new norm now.
mentalgear•28m ago
"Working with PR to make us look less like cheating mind leeches".
artninja1988•25m ago
I wonder how much compute they are throwing at problems in ML like continual learning and sample efficiency. Also how successful they are with these. Results like in the post make me hopeful we'll see some type of so singularity soon
titzer•22m ago
I'm going to be the cynical one and offer this translation: "Our results are too important to wait for the pesky peer review, so we are dumping a whole ton of money in a fund and giving some elites a breathless first look so our buzz keeps getting jacked up."

The reality that Science is a grind and there are thousands of new results every year discovered by regular humans who use a regular human process to cross-check and review.

Treating every result from the AI like a gift from god is getting tiring.

metalsiliconYT•16m ago
OpenAi needs to stop trying to please everyone. Just release the findings and give all the credit to your models/collaborators.
sebzim4500•14m ago
They have released them, they are just also hiring mathematicians to clean them up in parallel.
1ahsgt•14m ago
I wonder how many prompts for proof approaches they stole for these. Nothing on how many tokens were burned.

Proud to funnel money through the Simons Foundation, which is an AI booster itself and completely aligned with OpenAI.

They make it very hard to enjoy a single result with the business and the politics being so dirty.

jwpapi•13m ago
Honestly, I’m a bit scared but also a bit excited.

I’m currently reading Africa by John Reader which covers a lot of humanity storyline. From HN I get the humanity achievements that are happening right now.

The feeling digesting both daily is in order of magnitudes bigger than what any really exciting tv show did to me.

I honestly at this point don’t know anything about what could be possible and what couldnt.

I understand that this is really freightening, but also especially ETH being false gives even more hope that some fundamental problems could be solved in our lifetime, for example understanding universe, aging, colonization of planets and also our limits. I know I’m the minority, but these answers really interest me.

kypro•5m ago
> gives even more hope that some fundamental problems could be solved in our lifetime, for example understanding universe, aging, colonization of planets and also our limits.

There are infinitely many more ways to kill and torture a human than to save one.

hei-lima•8m ago
Terrible title. I was hoping to see more interesting comments on the story, haha!
mindwok•6m ago
It is mind blowing that these long-standing conjectures and open questions are just falling by the dozen every other week. What a time to be alive.
wilg•5m ago
In my opinion its okay for them to work on science and math problems and release the results.