ppll

Related posts

John Baez Mastodon

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)

OpenAIblowrefused

The subject this post names, from the same vocabulary the directory files beliefs under, and 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

14 September

Elon MuskRecommends

  • Recommendstheir ownrcmnd.app

    Tesla self-driving

    Their words

    Try Tesla self-driving. It will blow your mind!

    x.com

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.

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.