TVerified Certificates via SAT & Computer Algebra Systems for the Ramsey R(3, 8) & R(3, 9) Problems - Colloquium Presentation by: Zhengyu Li