45,269 karma · joined July 8, 2009
Previously: Physical Intelligence (robots), Meta, Google, Microsoft
My blog: https://james.darpinian.com/blog/
https://x.com/Darpinian
Creator of See A Satellite Tonight: https://james.darpinian.com/satellites/
Based in Palo Alto
Is this true? I haven't heard this before. Cost to get approved is also important, are we making progress there?
No doubt that curing cancer would help, but I think the timeline might be a little too long. Even RSI AGI will not be able to get new medical treatments to market instantly. Real world testing takes a long time and is an unavoidable part of the process.
2 is the concern. Even in a world where AIs become all-powerful oracles for math, we still need human mathematicians to ensure we as humans can understand the results, and direct progress toward areas that benefit humans. But this is a new role, very different from the current role of mathematicians. Current academics don't want this role and the upcoming generation of students probably don't either.
This seems like the crux of the argument to me, and I agree.
> my worry is not that we would be unable to [digest the mathematical results from the AIs], but rather that the social structures that currently support this digestion process will be destroyed and not adequately replaced.
A valid concern! And one we will all face soon enough, as AI continues to automate parts of jobs that were once manual.
I hope that companies and governments don't start forcing us to use this stuff by requiring it for their services.
Something with the ergonomics of Bigscreen Beyond 2, passthrough and resolution improved beyond Vision Pro, and the hackability of Steam Frame, I think could be pretty attractive as a laptop replacement for some people. Of course we're nowhere near that product yet. But a Steam Frame with a higher resolution screen and a better head mount (and the Arcturus Vision passthrough camera add-on) would be pretty close.
If they made a more expensive version with a better display it would potentially be interesting as a portable workstation/laptop alternative. But I don't think the SoC they're using supports displays much larger than this, so they'd have to upgrade that too. When you have such a wide FoV the number of pixels you need to cover it all at high resolution becomes very large.
It's simultaneously an amazing achievement, worth the money I paid, a redemption story for Hello Games, and yet disappointing in a way that e.g. BOTW is not.
One of these years I plan to dive back in again, hoping to find that the sum of all the updates has provided some new story progression I will find meaningful and give me a reason to exercise all the new game mechanics. I'm hopeful!
Because copying houses is inherently expensive, while copying creative works is inherently free. To make creative works act like houses you have to add artificial cost to copying, which is a tax the public has to pay for the entire duration of copyright.
If the public has to pay a tax they should get something out of it, and that something is the incentive for authors to create new works. But does copyright have to be for life + 70 in order to incentivize new works? Clearly not! It could be much shorter while still providing plenty of incentive.
My point is that it doesn't need to do that. Copyright could still encourage creation of new works with a much shorter duration, without the downside of locking our culture up in monopolies for life + 70.
Copyright is a monopoly that the government creates on purpose. We need to treat that monopoly power with more respect. We shouldn't be handing out generational monopolies willy-nilly. Copyright is allowed in the Constitution for "limited times" and Congress has ignored that.
For a while now I've had a startup idea for an agent that would monitor your inbox for content-free notification emails that just say "you have a new message, click here to read it" or "package delivered" with no details about the package contents. Then it would login to the website, do the 2FA dance, click through the UI, extract the actual important information, and put it back in my email inbox where it should have been in the first place.
I haven't worked on this idea because I think general purpose AI agents are likely to be able to do it very soon. And it seems like Muse is almost there already. It almost worked with MyChart, but hit a snag navigating the website after logging in. I expect this will be fully working in a matter of months.
I honestly can't think of any software ideas that won't be subsumed by general purpose agents or world models or some other form of AI in the very near future. Time to pivot to hardware ideas!
In 2015 Facebook (not yet renamed to Meta) launched a personal assistant named simply "M" that lived in Messenger and functioned remarkably like ChatGPT does today. At the time it was basically entirely humans on the backend, with the idea that they could replace humans incrementally as they collected data. Really ahead of its time. They shut it down in 2018, which seems shortsighted in hindsight. That data would have been invaluable just a few years later.
https://www.technologyreview.com/2017/04/14/152563/facebooks...
Aug 28: OpenAI starts training a new model.
Sep 1: OpenAI sees a rumor on Twitter that two Millenium Prize problems were solved and starts their own effort to attack all the prize problems using the new (4 day old!) model.
Sep 3: The new model makes some progress toward Navier-Stokes. Based on this progress, OpenAI focuses on Navier-Stokes over the other Millenium Prize problems, using several approaches in parallel.
Sep 5: Navier-Stokes is solved. Assuming Astra API prices, $15m in output tokens were used by the whole effort.
In this account of the story, no specific information about Tristan and Levent's work is used to inform OpenAI's approach. The focus on Navier-Stokes and the choice of approaches to pursue came from OpenAI's own progress, not specific knowledge of Tristan's concurrent work.
There is a caveat that they "can't rule out" the possibility that Tristan's Codex data could have been part of the training set of the new model, though it is described as "unlikely" and the proofs are substantially different.
This timeline is insane. Navier-Stokes was solved start-to-finish in 5 days? A model in training for at most eight days dramatically outperforms Astra and Fable, and not just in mathematics?