Arihant Gadgade

Hey, I’m Ari. My interests span from mathematics, computation, consciousness, to my current focus on AI Alignment. I recently graduated from Georgia Tech, where I studied physics and computer science. During my time at Georgia Tech I did nonlinear dynamics research under Michael Schatz in the Pattern Formation and Control Lab working on Quasi-2D Kolmogorov-like Flows. At the 2024 Wolfram Summer School (now Wolfram Summer Research Institute), in the Metamathematics and Physics Track, I developed a framework for parsing formal logic problems from the TPTP (Thousands of Problems for Theorem Provers) repository into an axiomatic system consistent with Wolfram’s Automated Theorem Prover (ATP) formalization. In my last year at Tech, I decided to join the Georgia Tech Off Road (GTOR) club, a Student-led Engineering Team that Designs and Builds Off-Road Cars to compete in the annual Baja SAE competition, in the Manufacturing and Data Acquisition Subteams to get hands-on experience with engineering.