Jonathan Hales 🚀🕊🥳

welcome to the singularity | engineering biology @

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@davidjglassMD It is the mark of an educated (intelligent) mind to be able to entertain a thought without accepting it.

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@willdepue There are plenty of bugs to fix on their app 😁

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@adrusi @shlevy Same could be said about Julia/Mandlebrot set. Took half a century for them to develop computers powerful enough to realize how interesting they are.

Mathematical formulation is even simpler for them as well.

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@zachcaceres @VicNiederhoffer Don’t forget about the amateur singing to open up the event 😆

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

RIP @VicNiederhoffer, a true original

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@zachcaceres @VicNiederhoffer Junto was amazing 😂

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@vamsiprithamp In time, everything is on the chopping block. Robotics will be solved sooner than later, converting everything into a cognitive task.

There will be adjustments, but much more good will come from this than bad.

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@parmita I’d be curious! I like fermi estimates.

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@alz_zyd_ The relevant comparison is not their salaries but the opportunity cost of incentivizing extremely talented individuals away from working on problems to benefit humanity.

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@teortaxesTex @growing_daniel The reference class includes Taiwan as one obvious example.

If you include Singapore and HK, you get a swath of sino nations all of which are govern better than the CCP.

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@itswillhua what evidence or argument convinces you that this is remotely possible on this timescale?

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@WKCosmo Humans created the machine god.

It is not plunder, but promotheus opening the gates of heaven.

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@WFeanor are there lists of famous open problems?

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@vamsiprithamp like I would think these would be an order of magnitude higher. Maybe that's my own biases, or maybe LLM capabilities are just very spiky.

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

> The total number of tokens needed to find solutions to these problems would cost roughly $2,000 at Sol API rates.

Surprising to me that these problems are so "cheap" to solve relative to how much we spend on software engineering projects.

[Sebastien Bubeck @SebastienBubeck]

yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.

We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.

More thoughts here: https://t.co/8SjXONeh38

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@vamsiprithamp There is also a more general point that many (most?) people are on drug combinations that haven't been tested except individually.

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

Should there be an agent harness for life sciences that supports open-weight models?

https://t.co/4PIwznIzGJ

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@vamsiprithamp Well "proofs" seems a bit overpowered for a collision list. And I wonder if even then it is so precise based on the patient and other context.

Definitely a problem that needs better fixing though.

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@vamsiprithamp I think RL is definitely interesting. Although there is also the argument that so much of the published literature is wrong that it may hurt more than it helps 😄

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@vamsiprithamp I'd be curious to know if there is indeed anything that is amenable to a proof. All I've experienced is dissapointment 😄

Perhaps there is room to formally verify software for things like pace makers?

[Jonathan Hales 🚀🕊🥳 @jayjayHales]

@naomibrockwell @AnthropicAI Yes, very.

Open weights are going to be big this year.