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

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.Subscribe nowEconomist: 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...