Juan

Monogolf 2

[OpenAI @OpenAI]

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

[AA @measure_plan]

i made a puzzle game where you bend light with prisms, lenses, black holes

there's 30 levels for you to play

it's called Prism Rules, it's out now, i hope you'll enjoy :]

[Juan @vicentcamison]

Monogolf 2 gameplay

[Xploshi @Xploshi]

Recreation of a dream I had

[Taelin @VictorTaelin]

in a post-AGI world, people will simply get used to the fact that computers can solve cognitive problems quickly, and beat us in any cognitive domain, just like we're used to computers multiplying large numbers quickly now, or kicking our asses in chess and go. software and math will lose all their scarcity.

"pls create a MMORPG that is like Zelda: Breath of the Wild but with Pokémon instead, let me fly around the world as a Charizard and dive on the water like a Gyarados. give me an executable that I can send to my friends and we'll all be connected to the same world"

you press a button and, 3 minutes later, done

I doubt that won't work by 2027

"pls create a blockchain exactly like Bitcoin except it uses quantum resistant signatures like Lamport, and you can deploy smart contracts in a Lean-like language, and contracts are only accepted if they're formally verified to be correct w.r.t the following specs..."

you press a button and done, you have a hack-proof chain

"in three space dimensions and time, given an initial velocity field, there exists a vector velocity and a scalar pressure field, which are both smooth and globally defined, that solve the Navier–Stokes equations"

you press a button, and done, you get a solution

math is fundamentally easy, and this will break some ppl's worldviews. currently, math seems mystically hard, like chess once was, because we're are animals that struggle with it, only a few of us are capable of adding fractions, let alone working on the edge, so hard problems stand for a long time unsolved, we praise our geniuses.

but it isn't

once computers are doing it, that won't be a thing anymore. theorem proving will be as trivial as multiplying large numbers. the "uh duh but godel?" folk will still be confused. and computers will come up with incredibly simple, clean Lean proofs for impossibly hard problems. and mathematicians will yell that it is just some trick to satisfy the checker, that it isn't real math if we can't understand it. but then we'll ask the AI and it will kindly reveal the nature of a surprisingly clever mathematical structure that is so alien for our brains to come up with

and life will go on

automation will increase 100-fold
food and goods will be abundant
the price of everything will crash
other than things that can't be copied
like human time and attention
which will be on all time high

and humans will still play chess
and humans will still write software
and humans will still do math
and we'll dance, play sports and love
like we always did
for the love of it

software and math will lose their scarcity
computers will be truly general solvers

and we'll get used to it faster than you think

and life will go on

[Mario_Tierra @Tierra100able_]

Esto fue histórico y creo que lo recordamos muy poco

[ℏεsam @Hesamation]

fantastic simple visualization of the self attention formula. this was one of the hardest things for me to deeply understand about LLMs.

the formula seems easy. you can even memorize it fast. but to really get an intuition of what the Q,K,V represent and interact, that’s hard.

[⚡️NEVERDOOMPRO⚡️ @NEVERDOOMPRO]

NEVER DOOM.

[Indigo State Of Mind⚡️ @ThirdEyeMastery]

The older I get, the more I realize:

Momentum is everything. One good day creates another. One workout leads to better eating. One hard conversation opens ten easy ones. One small win builds confidence for bigger ones. Get the ball rolling. Physics handles the rest.

[ToonHive @ToonHive]

‘Undertale’ released 10 years ago today.

[Gagan Biyani 🏛 @gaganbiyani]

The hardest part in starting a $100m business: picking the right idea to work on.

Pick wrong and you’ll spend years working away with little to no results.

Pick right and you'll have a much better chance to succeed.

Here’s how I’ve decided what ideas to work on…

[Easlo @heyeaslo]

@RedGregory1 @NotionHQ My second brain.

[Orange Book 🍊📖 @orangebook]

If you have no connections, build them.

If you have no money, work, save, invest.

If you have no friend, be a better person.

If you have no talent, practice more.

If you have no idea, walk more.

If you have no confidence, commit more.

If you have no clarity, write more.

[Chris Hladczuk @chrishlad]

So I asked "What's your single best piece of career advice"?

I got 1,300+ answers.

Here are the 12 best you wish you knew yesterday👇

[Sahil Bloom @SahilBloom]

On May 9th, 2020, I came back from a walk, had an idea, and typed out a few tweets—I posted it on Twitter for my 500 followers to see.

22 months, 200,000 words, and 1 billion impressions later, there are 500,000 of you here.

Here are my 10 favorite posts from this wild journey:

[Sahil Bloom @SahilBloom]

“Razors” are rules of thumb that simplify decisions.

The most valuable razors I’ve discovered:

[Sahil Bloom @SahilBloom]

The most powerful ideas in life:

[Mark Tenenholtz @marktenenholtz]

I spent 500+ hours on Kaggle competitions last year and medaled 3 times, including my first solo gold medal.

All those hours taught me what an ideal model development pipeline should look like.

4 things you should do before training models 🧵

[Tim Urban @waitbutwhy]

21 thoughts from 2021 I'd like to take into 2022:

[Víctor Abad @victorabadf1]

Las declaraciones de Lewis Hamilton al terminar la carrera le engrandecen. Muchísimo. Ha perdido el Mundial en la última vuelta de una forma caótica y la forma de hablar, minutos después de este varapalo, son un ejemplo.