Import AI 445: Timing superintelligence; AIs solve frontier math proofs; a new ML research benchmark

Will 2026 be looked back on as the pivotal year for making decisions about the singularity?

Welcome to Import AI, a newsletter about AI research. Import AI runs on arXiv and feedback from readers. If you’d like to support this, please subscribe. Economist: Don’t worry about AI-driven unemployment, because people like paying for the ‘human touch’: …Even when you have the technology to automate something, you might still pick a human…Adam Ozimek, chief economist at the Economic Innovation Group, has written a blog noting that even if AI gets much, much better and is capable of doing all the work that people do, there will still be some jobs for humans because people seem to have a…

related reading

• Economics and Transformative AI | Tom Cunningham – Tom Cunninghamtecunningham.github.io
• After Automation | Everyevery.to
• II. From AGI to Superintelligence: the Intelligence Explosion - SITUATIONAL AWARENESSsituational-awareness.ai
• AI as Normal Technology | Knight First Amendment Instituteknightcolumbia.org
• By default, capital will matter more than ever after AGI — LessWronglesswrong.com
• What will be left for us to work on?normaltech.ai
• AGI is still 30 years away — Ege Erdil & Tamay Besirogludwarkesh.com
• Alex Imas and Phil Trammell – What remains scarce after AGI?dwarkesh.com
• Why I’m not worried about AI job lossdavidoks.blog
• Import AI 458: Reckoning with the future; and a singularity story | Import AIjack-clark.net
• Preparing for the Intelligence Explosionforethought.org
• Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io