Andrew Sutherland

Professor

MIT

1 standalone talk · 1 total lecture · 1h recorded

Computer Systems & Software

Standalone talks by Andrew Sutherland

Self-contained public lectures, keynote addresses, and research seminars.

Doing Mathematics with AI Agents: A Case Study

1:08:34

Systems & CS·Research Seminar

Doing Mathematics with AI Agents: A Case Study

Andrew Sutherland·MIT

An MIT researcher presents findings from a year-long project exploring the practical integration of AI agents into the process of mathematical discovery and proof.