Science
Making a computer solve your math problems
Chase Norman describes the technology and design of his automated theorem prover.
Science
Microsoft Chief Science Officer Dr. Eric Horvitz discusses the promises and perils of AI
Dr. Horvitz shared insights drawing on his experience as a CS industry leader and an MD/PhD.
Science
Tang Tan discusses his path from MIT to Apple and OpenAI executive
On Oct. 16, Tan shared the leadership qualities that defined his remarkable career.