OPPORTUNITIES ZHAUTYKOV OLYMPIAD In January 2019, four Accelerate students (Matthew Everette, Jack Hyatt, Esha Kapoor, and Elizabeth O’Neill) traveled to Almaty, Kazakhstan, to participate in the 15th International Zhautykov Olympiad, a prestigious competition that brings together student scholars from across the world to complete team challenges in math, physics, and computer science.
DIGITIZING MATHEMATICAL PROOFS WITH LEAN THEOREM PROVER FACULTY ADVISORS Taylor Belcher, GSSM Department of Mathematics The LEAN Theorem Prover is a digital proof assistant with the goal of encoding all known mathematics. There are still many areas of mathematics accessible to GSSM students that have yet to been encoded. During the 2021 research experience, students learn the basics of mathematical proof, the new mathematical content needed to understand the proofs, and the LEAN programming language in order to contribute to the library by formalizing an area of mathematics not yet encoded in LEAN.
RESEARCH TOPIC: Formalizing Conway’s Little Theorem in LEAN Theorem Prover RESEARCH SITE: GSSM - Research Primarily Conducted Remotely ACCELERATE PARTNER SCHOOL: Easley High School COMMENTS: “I feel way more competent in my proof skills. All of the work we’ve done has contributed to that. I know for a fact that my understanding of proofs and proving has greatly improved. I’ve also been introduced to a lot of math I definitely would not have been exposed to for years, if ever. The additional math I have learned and the teamwork skills I have developed will help me in the math I will take after GSSM and future projects for the rest of my life. I’m really glad that I did it!”
AVRIL ADAMS, ACCELERATE ‘22 RESEARCH TOPIC: Formalizing Conway’s Little Theorem in LEAN Theor em Prover RESEARCH SITE: GSSM - Research Primarily Conducted Remotely ACCELERATE PARTNER SCHOOL: Pickens High School COMMENTS: “Mathematics is extremely important in the field of engineering, so this project, if not directly, has definitely been beneficial. I would say this project has greatly improved my understanding of math proofs and the importance that they play in the subject of mathematics. My ability to make a mathematical argument has improved greatly from before. I now understand in more depth how to properly write proofs, as well as the way they should be written...I am thankful to have been given the opportunity to work on this research project and found it to be quite helpful and enjoyable.”
CHRISTIAN LONG, ACCELERATE ‘22
20 | SOUTH CAROLINA GOVERNOR’S SCHOOL FOR SCIENCE + MATHEMATICS 22
