Related posts
John Baez
Mastodon
What's the easiest way to hack Lean, Mathlib or something so that when people check your formalized proof of a Millennium Prize problem, it comes out saying "yes, the proof is good"? Asking for a friend.
formalized millennium easiest
The the words it uses that this site has seen
least often elsewhere. Posts are matched on those words alone —
nothing here is a summary of this one.
Sources
All
Blog Bluesky Mastodon Newsletter x.com YouTube
Top people
Jason Kottke
Luke Wroblewski
Maria Popova
Zvi Mowshowitz
Peter Woit
Sabine Hossenfelder
Matt Webb
David Crawshaw
Simon Willison
John Baez
Showing
Profile →
Show everything
Hiding
Show them again
Show them again
Further back ↓
Hiding
Show them again
18 September
Bulgarian-born writer and founder of The Marginalian (formerly Brain Pickings), a reader-funded blog on books, science, art and philosophy running since 2006.
17 September
Writer of kottke.org, one of the oldest blogs on the web, published since 1998 and supported by its members. He writes about art, technology, science, design and visual culture.
13 September
Writes Don't Worry About the Vase, a near-daily account of what is happening in AI and what they think it means. Former Magic: the Gathering pro and trader; unusually willing to put a number on a belief and to grade their own past calls.
10 September
Product designer and entrepreneur; author of Mobile First and Web Form Design; formerly a product director at Google; now building AI products.
x.com as AI agents tackle more work, we assign more work to them. OpenAI pointed 10,000 concurrent agents at a Millennium Prize. that's lots of agents. how do you keep them all on task? here's a breakdown of all the things we do in Intent... 1/6 OpenAI Related
Blog Large Scale Agent Coordination As AI can agents tackle more work, we naturally assign more work to them. The most notable example this week was OpenAI's use of 10,000 concurrent agents to propose a solution to the Navier–Stokes Millennium Prize Probl…
OpenAI Related
9 September
Mathematician and Senior Lecturer in the Mathematics department at Columbia University. Author of the book Not Even Wrong and of the long-running physics blog of the same name.
Physicist and science communicator. Writes Backreaction and makes videos explaining new physics and astronomy results, frequently to argue that the headline about them overstates the case.
AI Solved a Millennium Problem and Everyone's Angry Related
British designer and technologist; co-founder of the design studio BERG, which made Little Printer, and writer of the blog Interconnected.
Tough job for the Apple Event today. Unless they reveal a fruit fly brain simulation that speeds up App Store review or drop a Millennium Prize solution as the fix to the iPhone Duo screen crease, it’s all going to feel pretty underwhelming by comparison Related
Software engineer; co-founder and former CTO of Tailscale, previously on the Go team at Google.
The old quote that "computers are useless, they can only give you answers" seems to extend to an LLM solution to a millennium problem. Now we have a blowup in Navier–Stokes equations, but no new insights into mathematical technique or turbulence. LLMs Related
8 September
Co-creator of Django and creator of Datasette; writes daily at simonwillison.net.
Wrote up my thoughts on the whole OpenAI Navier–Stokes Millennium Prize Problem story, and how it highlights the still confusing question of what using my data "to improve model performance" actually means OpenAI Related
Mathematical physicist at UC Riverside. Wrote This Week's Finds in Mathematical Physics and now the Azimuth blog on mathematics, physics and environmental science.
News flash: OpenAI claims formal proof that Navier-Stokes solutions can blow up. They used 10,000 agents simultaneously, who sent 2.7 million messages and used ~130 billion output tokens. They will not claim the $1,000,000 Millennium Prize for this result. This prize is not going as expected. The first winner refused to take it, saying the math establishment is corrupt. The second possible winner is a team of 10,000 AIs whose human masters turned down the prize. 😆 https://openai.com/index/navier-stokes-solution/ (1/2) OpenAI Related
Nothing matches. Show everything
What is a korrent?
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com .
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
Got it
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.
Got it