AI agents in math, science, and software.