frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Hilbert's sixth problem: derivation of fluid equations via Boltzmann's theory

https://arxiv.org/abs/2503.01800
113•nsoonhui•12h ago

Comments

whatshisface•10h ago
This is the larger part of the work:

https://arxiv.org/abs/2408.07818

itsthecourier•10h ago
may you please elaborate on why it is important, why hasn't been solved before and what new applications may you imagine with it, please?
makk•10h ago
Explained for the layperson in the video cited here: https://news.ycombinator.com/item?id=44439593
bravesoul2•9h ago
That video s very light and doesn't explains at what point (or intuitively) where the arrow of time comes in.
killjoywashere•10h ago
David Hilbert was one of the greatest mathematicians of all time. Many of the leaders of the Manhattan Project learned the mathematics of physics from him. But he was famous long before then. In 1900 he gave an invited lecture where he listed several outstanding problems in mathematics the solution of any one of which would change not only the career of the person who solved the problem, but possibly life on Earth. Many have stood like mountains in the distance, rising above the clouds, for generations. The sixth problem was an axiomatic derivation of the laws of physics. While the standard model of physics describes the quantum realm and gravity, in theory, the messy soup one step up, fluid dynamics, is far from a solved problem. High resolution simulations of fluid dynamics consume vast amounts of supercomputer time and are critical for problems ranging from turbulence, to weather, nuclear explosions, and the origins of the universe.

This team seems a bit like Shelby and Miles trying to build a Ford that would win the 24 hours of LeMans. The race isn’t over, but Ken Miles has beat his own lap record in the same race, twice. Might want to tune in for the rest.

bawolff•8h ago
This kind of misses the point. The problem isn't interesting because its on hilbert's list; its on hilbert's list because it is interesting.

This is not my field, but i also don't think this would help with computational resources needed for high resolution modelling as you are implying. At least not by itself.

dawnofdusk•9h ago
The short answers:

1. It answers how macroscopic equations of e.g., fluid dynamics are compatible with Newton's law, when they single out an arrow of time while Newton's laws do not.

2. It was solved in the 1800s if you made an unjustified technical assumption called molecular chaos (https://en.wikipedia.org/wiki/Molecular_chaos). This work is about whether you can rigorously prove that molecular chaos actually does happen.

3. There are no applications outside of potentially other pure math research. For a physics/engineering perspective the whole theory was fine by assuming molecular chaos.

pizza•5h ago
> 3. There are no applications outside of potentially other pure math research.

I would feel remiss not to say: such statements rarely hold

franktankbank•1h ago
That's high praise!
IdealeZahlen•10h ago
Sabine Hossenfelder's video on this: https://youtu.be/mxWJJl44UEQ
Xmd5a•1h ago
https://news.ycombinator.com/item?id=44442123
Ygg2•1h ago
I found https://www.quantamagazine.org/epic-effort-to-ground-physics... much more informative. Sometimes you can't digest everything in 10min.
baxtr•1h ago
In my perception Sabine’s quality degraded over the last year or so.

Maybe it’s also the topics she covers. I’m not sure why she is getting into fantasies of AGI for example.

I liked the skeptical version of her better.

quantadev•10h ago
[flagged]
Twisol•10h ago
Not enough em-dashes for it to be AI.

(Less jokingly, nothing strikes me as particularly AI about the comment, not to mention its author addressed the question perfectly adequately. Your comment comes off as a spurious dismissal.)

bawolff•9h ago
To me, it looks like AI because it doesn't really answer the question but instead answers something adjacent, which is common in AI responses.

Giving a short summary of Hilbert's biography & his problem list, does not explain why this particular work is interesting, except in the most superficial sense that its a famous problem.

Twisol•9h ago
Your second paragraph is a much more thoughtful critique, and posting that below the original answer would focus the subsequent conversation on those points. The issue here isn't whether the comment was AI-generated; it's how we carry the conversation forward even if we suspect that it is.

(For the record, if I had attempted to answer the earlier question, I probably would have laid out a similar narrative. The asker's questions were of a kind asking for the greater context, and the fact that Hilbert (mentioned in the submission title) posed the question is pretty important grounding. But, that's beside the point.)

bawolff•8h ago
To be clear, im not the person who made the original ai accusation. I agree that just yelling its AI, and running away is super rude and not very constructive.
Twisol•4h ago
I know it wasn't you :) Sorry if I came across that way.
quantadev•9h ago
I think the last sentence, about Shelby and Miles, was written by a human, because it doesn't fit with the rest at all. Different style and a complete awkward shift of gears non sequitur. He probably recently saw the Amazon movie Ford V Ferrari, and so he threw that in to feel like he was doing more than cut-n-paste from an AI.
tomhow•7h ago
Please don't do this here. If a comment seems unfit for HN, please flag it and email us at hn@ycombinator.com so we can have a look.

We detached this comment from https://news.ycombinator.com/item?id= 44439647 and marked it off topic.

ngriffiths•10h ago
John Baez wrote a Mastodon thread on this paper here:

https://mathstodon.xyz/@johncarlosbaez/114618637031193532

He references a posted comment by Shan Gao[^1] and writes that the problem still seems open, even if this is some good work.

[^1]: https://arxiv.org/abs/2504.06297

LudwigNagasena•9h ago
So where and how does a jump from nice symmetric reversible equations to turbulent irreversibility happen?
MathMonkeyMan•7h ago
Even three bodies under newtonian gravity can lead to chaotic behavior.

The neat part (assuming that the result is valid) is that precisely the equations of fluid dynamics result from their billiard ball models in the limit of many balls and frequent collisions.

LudwigNagasena•6h ago
But even millions of bodies under Newtonian gravity lead to reversible behaviour unlike Navier-Stokes.
MathMonkeyMan•5h ago
The Navier-Stokes equations are a set of differential equations. The functions that the equations act upon are functions of time (and space), so the system is perfectly reversible.

It's just hard to figure out what the functions are for a set of boundary conditions.

bubblyworld•2h ago
This is not quite right. Time-reversibility means that solutions to your differential equation are invariant under the transformation x(t) -> x(-t). It's pretty easy to verify that is the case for simple differential equations like Newton's law:

F = mx''(t) = mx''(-t) since d/dt x(-t) = -x'(-t), and d/dt (-x'(-t)) = x''(-t)

Navier-Stokes is only time-reversible if you ignore viscosity, because viscosity is velocity-dependent and you can already see signs of that being a problem in the derivation above (velocity pops out a minus sign under time reversal). From my reading the OP managed to derive viscous flow too, so there really is a break in time-symmetry happening somewhere.

MathMonkeyMan•1h ago
Now I get it, thanks for the explanation.

I wonder if "t -> -t" is lost in the Boltzmann step or in the hydrodynamic step.

doop•1h ago
It's lost at Boltzmann's "molecular chaos" or "Stosszahlansatz" step. If f(x1,x2) is the two-particle distribution function giving you (hand-wavingly) the probability that you have particles with position and velocity coordinates x1 and others with coordinates x2, then Boltzmann made the simplification that f(x1,x2) = f(x1) * f(x2), ie throwing away all the correlations between particles. This is where the time-asymmetry comes in: you're saying that after two particles collide, they retain no correlation or memory of what they were doing beforehand.
mannykannot•24m ago
I assume (on the basis that it has not come up so far in this discussion and my limited further reading) that position-momentum uncertainty offers no justification for throwing away the correlations?
kgwgk•1h ago
The former. Diffusion in gases is similar.
kgwgk•51m ago
You lose the reversible behavior when you describe the system ignoring almost every degree of freedom.
bubblyworld•2h ago
I've been puzzling about this as well. The best answer I have (as an interested maths geek, not a physicist, caveat lector) is that it sneaks in under the assumption of "molecular chaos", i.e. that interactions of particles are statistically independent of any of their prior interactions. That basically defines an arrow of time right from the get-go, since "prior" is just a choice of direction. It also means that the underlying dynamics is not strictly speaking Newtonian any more (statistically, anyway).

Show HN: CineMath (Professional Cinema Calculator)

https://www.cinemath.app/
1•samuelgursky•1m ago•0 comments

Show HN: LLM Prompt Engineering Game

https://terminalgames.xyz/
1•tobilobaolufemi•3m ago•0 comments

Show HN: Leading LLMs recognise bias but also reproduce harmful stereotypes

https://www.giskard.ai/knowledge/llms-recognise-bias-but-also-reproduce-harmful-stereotypes
1•dberenstein1957•4m ago•0 comments

Ask HN: Would limiting game size to 5–10 MB spur the creation of novel games?

1•amichail•6m ago•0 comments

Z3 (Computer) (1941)

https://en.wikipedia.org/wiki/Z3_(computer)
1•erichocean•6m ago•0 comments

I can't sleep gud anymore – A Practical Guide to Agentic Computering [video]

https://vimeo.com/1098025052
1•tosh•7m ago•0 comments

Chuck E. Cheese Launches Chuck's Arcade

https://www.chuckecheese.com/tyler-tx/blogs/chuck-e-cheese-launches-chucks-arcade-a-classic-brand-extension-ushering-in-a-new-era-of-modern-arcade-gaming/
1•e12e•7m ago•0 comments

Hand-Drawn QR Codes

https://sethmlarson.dev/hand-drawn-qr-codes
1•alexmolas•10m ago•0 comments

UK Sovereign AI Unit Head of ventures job listing

https://www.civilservicejobs.service.gov.uk/csr/jobs.cgi?jcode=1959576
1•mooreds•10m ago•0 comments

Helix Language

https://lobste.rs/s/usceqk/helix_language
1•mpweiher•11m ago•0 comments

Opsy – Your AI-Powered SRE Colleague

https://github.com/datolabs-io/opsy
1•geoffbp•13m ago•0 comments

ChatGPT, the Actual Founders

https://www.startuphub.ai/ai-news/artificial-intelligence/2025/the-actual-story-and-insider-account-of-chatgpt-where-day-1-broke-the-dashboard/
1•streetcarnamed•14m ago•0 comments

The crawl before the fall of referrals: AI's impact on content providers

https://blog.cloudflare.com/ai-search-crawl-refer-ratio-on-radar/
1•donohoe•18m ago•0 comments

OpenAI Issue with negative API balance

https://community.openai.com/t/issue-with-negative-api-balance-july-2nd-2025/1304759
2•HugoDias•19m ago•0 comments

Ask HN: MCP server for long-term memory?

1•yewenjie•21m ago•1 comments

MLE-Star: Machine Learning Engineering Agent via Search and Targeted Refinement

https://arxiv.org/abs/2506.15692
1•PaulHoule•21m ago•0 comments

Fired Nomura Trader Turns to 'Toilet Graffiti' to Argue His Case

https://www.bloomberg.com/news/articles/2025-07-01/fired-nomura-trader-in-japan-turns-to-anonymous-blog-to-defend-himself
1•helsinkiandrew•23m ago•1 comments

An attempt at defining consciousness Based on information theory

https://docs.google.com/document/d/1RN56GMpE8D4tc8k9Bw9YfSeJ4FZOyixkxWKpN_H0A34/edit?usp=drivesdk
1•Trenthug•23m ago•1 comments

Saudi sports investor Surj goes extra mile for $20M triathlon stake

https://news.sky.com/story/saudi-sports-investor-surj-goes-extra-mile-for-20m-triathlon-stake-13391360
1•austinallegro•25m ago•0 comments

I Make Thumbnails for YouTube

https://www.jeffgeerling.com/blog/2025/how-i-make-thumbnails-youtube
1•saeedesmaili•28m ago•0 comments

Is that ADHD? Why flawed trials may be misleading millions – ScienceDaily

https://www.sciencedaily.com/releases/2025/07/250701020645.htm
2•ahmetcadirci25•31m ago•0 comments

Show HN: The MCP Client for Outlook

https://mail.synia.tech/installation
3•alexrebe•33m ago•0 comments

'They took shrapnel from my heart' – the magnets saving lives in Ukraine

https://www.bbc.com/news/articles/c1mgdendnv7o
1•sohkamyung•34m ago•0 comments

One-Input Keypad Interface

http://www.technoblogy.com/show?NGM
1•chrisjj•35m ago•0 comments

The Evolution of Blogging

https://thehistoryoftheweb.com/the-evolution-of-blogging/
1•speckx•35m ago•0 comments

Yet Another Zip Trick

https://hackarcana.com/article/yet-another-zip-trick
3•todsacerdoti•36m ago•0 comments

Rural Purge

https://en.wikipedia.org/wiki/Rural_purge
3•bilsbie•38m ago•0 comments

The Plot to Get RFK ⋆ Brownstone Institute

https://brownstone.org/articles/the-plot-to-get-rfk/
2•bilsbie•38m ago•0 comments

An Unexpected Journey with Cursor and Gemini 2.5 Pro

https://medium.com/@sobyx/the-ais-existential-crisis-an-unexpected-journey-with-cursor-and-gemini-2-5-pro-7dd811ba7e5e
2•bretpiatt•39m ago•0 comments

Show HN: Onboarding with pre-filled workspace. Agnt and search and human-in-loop

https://get.traction.team/v/early-access
1•jay_traction•39m ago•0 comments