🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

We're thrilled to welcome Christian Szegedy as our chief scientist at Morph, where he will lead the development of Verified Superintelligence.

this is a great idea

Very cool.

👀

Congrats Alex S. Araki! I hope philanthropists take a look at this important project.

💕

I always found it puzzling how language models learn so much from next-token prediction, while video models learn so little from next frame prediction. Maybe it's because LLMs are actually brain scanners in disguise. Idle musings in my new blog post: sergeylevine.substack.com/p/language-mod…

Rare moments make you stop, stare, and imagine their future impact. I’m thrilled to share one of those moments from our work at Shift Bioscience. Over the last few years, the data often felt unreal. Today we compare the single-gene SB000 (Shift Bioscience 000) with the

“As we get strong projects and good results, I hope it will create this flywheel where it becomes easier to fund these ideas, more scientists will come up with them, and I think we’re starting to get there.” -Adam Marblestone 👏

OpenBind’s plan is to 20x this data (and build models fine tuned on this data). This is now possible due to high-throughput macromolecular crystallography at the Diamond Light Source, where data will be generated, along with other capabilities which make DLS a strategic AI asset

Really pleased to share what I have been working on for 2 months: 🇬🇧 UK SovAI are today announcing our £8m seed investment into OpenBind - A consortium that will actually make AI for drug discovery great by generating 500k experiment protein-ligand complexes!! Explainer 🧵 (1/n)

gap-map.org/capabilities/r… LFG

youtube.com/watch?v=LrXVcP… Aspects of the fly connectome are pretty interpretable, and it loves and preserves cosines. h/t Chongxi Lai

This week I'm interviewing Andrew Snyder-Beattie — Open Phil's Program Director for Pandemic Prevention. He believes physical barriers to disease transmission could eliminate the risk of extinction from pandemics with just a few years' of work. What should I ask him? 1/

This project brought to you by people going "wow your work in far-UVC is so cool where can I buy one?" and me starting to sweat and going "eh uhm I could maybe build you one in my lab?"

We are excited to announce Trinity, an autoformalization system for verified superintelligence that we have developed at Morph. We have used it to automatically formalize in Lean a classical result of de Bruijn that the abc conjecture is true almost always.

Big post today: a two-hour interview with Ilan Gur on the metascience experiment that is ARIA Ilan was fantastically open. I had a blast. I can only hope he had half as much fun. Huge thanks to Asimov Press for setting this up!

Had an enjoyable 2.5 hrs (!) talking to Gita Wirjawan on his Endgame Podcast, riffing on my usual themes: biography, energy, space, and metascience, with a bit of economics, geopolitics, and AI thrown in. Thanks Gita! youtu.be/Y-wsDaK5zp0?fe… via YouTube

Super excited to partner with tylercowen on this.

In this piece, sarah & I argue that technological solutions can lower the barrier to meaningful international deals - by providing assurance that no party can circumvent the agreed upon rules. What's it called? Assurance tech.