Recorded 10 February 2026. Terence Tao of the University of California, Los Angeles, presents "Machine assistance and the future of research mathematics" at IPAM's AI for Science Kickoff. Abstract: A variety of machine-assisted ways to perform mathematical assistance have matured rapidly in the last few years, particularly with regards to formal proof assistants, large language models, online collaborative platforms, and the interactions between them. We survey some of these developments and speculate on how they will impact future practices of mathematical research. Learn more online at: https://www.ipam.ucla.edu/programs/special-events-and-conferences/ai-for-science-kickoff-2026/?tab=schedule About AI for Science Kickoff 2026: This inaugural event brings together the pioneers who are defining how AI will accelerate scientific discovery — from Nobel and Fields Medal laureates to the leaders shaping AI innovation across academia, research labs, and industry. The event features keynote talks by leading AI Scientists and Mathematicians, as well as panel discussions focusing on perspectives on AI from three sides: Mathematics, Higher Education, and Industry. This event is organized jointly by IPAM, the UCLA Division of Physical Sciences, the SAIR Foundation and the World Leading Scientists Institute.