x
AI in Mathematics, 2026: From Assistant to Top Researcher — LessWrong