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

• Import AI 455: AI systems are about to start building themselves.importai.substack.com
• Import AIjack-clark.net
• Economics and Transformative AI | Tom Cunningham – Tom Cunninghamtecunningham.github.io
• Import AI 431: Technological Optimism and Appropriate Fearimportai.substack.com
• Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
• What will be left for us to work on?normaltech.ai
• Import AI 458: Reckoning with the future; and a singularity story | Import AIjack-clark.net
• Import AI 431: Technological Optimism and Appropriate Fearimportai.substack.com
• Import AI 455: AI systems are about to start building themselves.importai.substack.com
• The Most Important Time in History Is Now - by Tomas Pueyounchartedterritories.tomaspueyo.com
• Random thoughts while gazing at the misty AI Frontierblog.eladgil.com
• If AGI Means Everything People Do... What is it That People Do?secondthoughts.ai