Import AI 480: Economías espaciales autosuficientes; IA para el avance científico y Meta construye manos perfectas para una superinteligencia

Este es el extracto disponible del feed. Puede estar abreviado o en el idioma original.

Welcome to Import AI, a newsletter about AI research. Import AI runs on arXiv, cappuccinos, and feedback from readers. If you’d like to support this, please subscribe.Subscribe nowAI Science startup converts a quantum conjecture into a theorem:…An evocative taste of the singularity…In the same way a few years ago it went from remarkable to unremarkable to see computers gain the ability to identify objects in images, we’re now in an era where it’s rapidly going from remarkable to unremarkable for computers to extend the bounds of human knowledge. The latest example comes from Physical Superintelligence, an AI science startup which has proved a longstanding quantum computing conjecture.What they did: “Open since 2008, the conjecture of Scott Aaronson and Andris Ambainis concerns when quantum computers can be exponentially faster than ordinary ones. Now, a research system developed internally at Physical Superintelligence (PSI), running a non-public Anthropic model, found a proof for it, settling one of the most fundamental questions in quantum computing,” the startup writes. “The system had a complete proof of the conjecture during the third day of the run, and Lean, a proof assistant in which a computer checks every step, accepted it. We then set the system to work on related open problems. Along the way, the system improved the result twice, and Lean accepted the final version.”Why this matters - we are in the singularity: As I said in my speech at the IMF (#477), I believe we’re in the early stages of the singularity, defined as the period when the rate of technological and scientific progress exceeds the rate at which we humans can parse out and make sense of it. Research like this is a taste of what that means; mostly automated synthetic researchers extending the frontier of knowledge, spitting out results which need to then be understood by humans. Read more: A proof of the Aaronson‑Ambainis conjecture (Physical Superintelligence, blog).***Meta builds the han