The title buries the lede quite a bit:

> The Exponential Time Hypothesis is false

krackers 2 hours ago | parent | next [-]

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 an hour ago \| parent \| next [-]
		What a time to be alive honestly. Can’t know what one will wake up to
	▲	adverbly 42 minutes ago \| parent \| prev [-]
		> superpolynomial I've got some reading to do it seems...

▲

levocardia 2 hours ago | parent | prev | next [-]

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.

▲

Sniffnoy 2 hours ago | parent | prev | next [-]

This is just one of the three ledes, really!

▲

JonChesterfield 2 hours ago | parent | prev | next [-]

https://github.com/openai/math/blob/main/lean/docs/378.md

▲

JonChesterfield 2 hours ago | parent [-]

by fucking sorry written at the end of the proof

▲

sebzim4500 2 hours ago | parent | next [-]

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

▲

mattr03 2 hours ago | parent | prev | next [-]

https://github.com/openai/math/blob/7ef5c0cc5ca4b0e072b7a050...

looks like the real proof is in this file

	▲	JonChesterfield 2 hours ago \| parent [-]
		awesome, thanks!

▲

ollin 2 hours ago | parent | prev [-]

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

▲

yu3zhou4 2 hours ago | parent | prev [-]

A newbie here, does it mean that SETH is false too?

▲

pavitheran 2 hours ago | parent [-]

Yes it means both SETH and ETH are false.

	▲	an hour ago \| parent [-]
		[deleted]