logoalt Hacker News

Three new discoveries in mathematics, computer science, and physics

687 points • by jonluca • yesterday at 9:35 PM • 300 comments • view on HN

Related:

The Exponential Time Hypothesis Is False [pdf] - https://news.ycombinator.com/item?id=50251661


Comments

brcmthrowaway • today at 12:50 AM

I'm too dumb for this.. but does this mean PKI is doomed?

➕ show 1 reply
wilg • yesterday at 10:51 PM

In my opinion its okay for them to work on science and math problems and release the results.

➕ show 1 reply
Kotlopou • yesterday at 11:03 PM

"In our view, these manuscripts are best understood as a form of raw research data."

They are staying on top of the exact formulations that spread like memes. I think this one was unfortunate. It's an analogy for a new type of thing that stops attempts to figure out what thing that is.

That said, uh, let's go? Let's see if OpenAI earns some goodwill here. It probably can't go worse than the last math drop!

➕ show 1 reply
dyauspitr • today at 1:18 AM

What a fucking time to be alive. I love it.

hei-lima • yesterday at 10:48 PM

Terrible title. I was hoping to see more interesting comments on the story, haha!

casualscience • today at 1:53 AM

Where are the fucking papers???

paxy • yesterday at 10:03 PM

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 • yesterday at 10:28 PM

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.

➕ show 3 replies
mattfrommars • today at 3:12 AM

[flagged]

grd_dev • yesterday at 10:13 PM

[flagged]

Insimwytim • yesterday at 11:20 PM

Wow, math PR really took over, nevermind blowback from those pesky mathematicians.

Let's throw in more of that stuff, so they wouldn't look at the financials.

Yay, shills are here with downvotes!

mentalgear • yesterday at 10:28 PM

"Working with PR to make us look less like cheating mind leeches".

calf • yesterday at 9:54 PM

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

➕ show 1 reply
1ahsgt • yesterday at 10:42 PM

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.

aborsy • yesterday at 10:54 PM

Science is getting out of the reach of the majority of people. In particular, EU is out of it mostly.

noduerme • today at 3:19 AM

>>> We reached out to external experts and asked them to act as shepherds

Sure, if you meet some resistance to your method of undermining a field, the best go-around is to co-opt the top professionals to help pull the ladder up. Astonishing, the arrogance of whoever didn't bother with this before.