$MATHCOLLAB - Terence Tao strongly believes in the power and potential of collaborative mathematics, suggesting opportunities in platforms or tools that facilitate collective mathematical efforts.
$AI - Terence Tao sees significant value in AI tools for mathematics and coding, based on his personal experience with tools like GitHub Copilot, indicating strong potential for AI in academic and research settings.
$CITIZENSCI - Terence Tao expresses enthusiasm for incorporating the broader public into mathematics research projects using new tools, suggesting potential growth in citizen science platforms for mathematics.
$EDTECH - Terence Tao identifies issues in current mathematics education, suggesting opportunities for personalized math education technologies to address these problems.
$LEAN - Despite current inefficiencies, Terence Tao sees potential for improvement and adoption of formal proof systems like Lean in mathematics, supporting a long-term bullish view on these technologies.