mashrur

swe @google | prev @microsoft | @uwaterloo cs alum

toronto | seattle

my views

[mashrur @mashrur_c]

Now scale this to human-level intelligence, populate entire simulated worlds with autonomous agents, and let them make discoveries we haven’t made yet.

I hope one day soon we see novel discoveries in simulation and bringing those back to reality.

[Odyssey @odysseyml]

We placed the fruit fly brain inside Odyssey-3, a frontier world model.

The lil’ guy is now flying around totally imagined, simulated worlds all by itself 🫶

[mashrur @mashrur_c]

@Smi11s @lukedw09 @Exomnium This isn't a new concept though, it's happened throughout time. I don't think anyone is saying they shouldn't mourn, but to believe that something YOU love will be economically viable forever is naive. We should be glad we live in a time where we can get paid to do things we love

[mashrur @mashrur_c]

@YoshkaMJ @coltonconley He's making 500k at AirBnb I think he's grown

[mashrur @mashrur_c]

@BrentInQueens I stopped using RT for reviews like 8 years ago. The audience score is the only thing that matters. IMDb and Letterboxd are much better imo.

[mashrur @mashrur_c]

@ByClaytonDavis @Variety Cruise over Gosling easily

[mashrur @mashrur_c]

i've watched this clip through like 5 times now, everytime it comes on my feed.

i knew NOTHING going into Digger, and can vouch that this is a truly special film. go watch!

[mashrur @mashrur_c]

Humanity's crossroads:

A) Accept we may not remain the apex intelligence, and may rely on systems we can't comprehend, much like dogs today benefiting from human vaccines and food.

B) Limit AI to preserve our supremacy, potentially sacrificing unimaginable progress.

[Andrew Curran @AndrewCurran_]

This is a slide from Terence Tao's 'Math 2.0' public lecture yesterday evening at Caltech. I am highly confident that, if the cure actually worked, almost any Stage 4 cancer patient would tell you that human comprehension of its mechanism is completely irrelevant to them.

[John Carter @martianwyrdlord]

Another angle to this is that dogs effectively stumbled onto what is for them the equivalent of artificial superintelligence 20,000 years ago. The Singularity already happened for dogs. They live in a world they cannot understand, surrounded by miraculous wonders they take entirely for granted, their every need seen to by entities whose thoughts they cannot begin to fathom.

The result is that there are about a billion dogs on the planet now. Most of them are pretty happy. Almost none of them need to work. It worked out pretty well for them.

[Doug Colkitt @0xdoug]

We are publishing an update to OpenAI problem #109 Integer multiplication) with another substantial further tightening:

κ = 2⁻⁵⁹ (from OpenAI’s original κ = 2⁻¹⁸²)

Approximately 500 thousand fold improvement over our previous result and a 2¹²³ fold improvement over the original OAI result.

The latest redesigned the finite network to share intermediate computations and scratch space, then tightened the recursion and Gaussian estimates.

[mashrur @mashrur_c]

@jcb_schroeder @donnelly_b I've pretty much only drove to Montreal from Toronto

[mashrur @mashrur_c]

@etfdeniedbot @CalebSol same 😭😭😭

[mashrur @mashrur_c]

@LegacyPathCA My parents showed me the mutual fund RBC had set up for them and it was actually negative in the last 5 years. It actually sucks, because to them, that was what "long term investing" looked like, and they lost all faith :(

[Andrej Karpathy @karpathy]

@rcx86 If only I had thought to train it on StackOverflow instead I think it would have clicked for me that LLMs can be promptable, general purpose Q&A engines. Ah well.

[mashrur @mashrur_c]

@GePhilosophical @dkayofficial_ so real

[Kevin Dahlstrom @Camp4]

@arampell This is inevitable because at some point super intelligence produces solutions that we don’t have the capacity to understand.

A dog won’t understand the Pythagorean theorem no matter how well it’s explained.

[mashrur @mashrur_c]

@gabriel1 300k now, this is beyond just AI viral

[mashrur @mashrur_c]

so it begins

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

[mashrur @mashrur_c]

@forloopcodes arguably the more important work imo

[Pushmeet Kohli @pushmeet]

1/5 🧬 Today, our team @GoogleDeepMind is taking another step on our mission of deciphering the genome. We are releasing AlphaGenome Atlas, a massive (petabyte-scale) resource containing AlphaGenome predictions for every possible single-letter DNA change in the human genome — 9 billion in total.

https://t.co/Lf9DWRfWCu

[Konsti Wohlwend @konstiwohlwend]

drama summary for those confused:

- Aug 15th: Tristan Buckmaster & Levent Alpöge make progress on a few important math problems

- they do NOT have a proof for the $1,000,000 Millenium Prize problem. BUT, they do claim to have a proof for a similar (non-Millenium) Navier Stokes problem that could help lead the way there

- Levent works at Anthropic, but this research was independent of his work there, with a mix of GPT and Claude models. Tristan is not related to Anthropic.

- Early Sep: Rumor spreads to OpenAI that Anthropic has solved a major problem. Tristan emails OpenAI to clarify. without revealing the problem they solved or how they did it.

- After hearing of the rumor, OpenAI started researching Navier Stokes with a new internal model.

- Sep 6th: OpenAI's Sebastien Bubeck tells Tristan that they solved the $1,000,000 Millenium Prize Navier Stokes problem. The approach is very similar to Tristan & Levent's approach to the non-Millenium problem.

- Tristan is suspicious of the timing, as only few others were trying this approach. OpenAI says the model didn't access his user data directly, but leaves unanswered whether Tristan's chat conversations were part of the training.

- OpenAI says they would partially credit Tristan for the $1,000,000 discovery (even though Tristan did not solve the $1,000,000 problem) — but only if they remove Levent as an author, as he works for Anthropic.

- Sep 8th: Tristan refuses to remove Levent, and rushes to publish their results independently.

Currently unclear is whether Anthropic had a separate solution for the $1,000,000 problem, or whether the rumor was about Tristan & Levent's independent research.