AI Science Companies: Evidence AGI Is Near — LessWrong