Matematikçiler nasıl çalışır? Matematik mesleğin geleceği nedir? Bir gün ispat yapan matematik yazılımları insanları geride bırakacak mı? Bu konuşmamızda bu sorulara cevap aradık ve otomatik ispat yapan yazılımlar konusunda günümüzde gelinen noktayı özetledik.