Filters
Event Types
Location
Working Alongside Increasingly Capable AI
Andrey Mishchenko (Open AI)
Abstract: This will be a very informal talk! We'll start with a high-level overview of how modern LLM systems like Codex and ChatGPT...
Colloquium - First Proof: Mathematics putting AI to the test
Lauren K. Williams, Harvard University
Lauren K. Williams received an AB from Harvard University and a PhD from the Massachusetts Institute of Technology. She was a faculty member...
