CEOInterviews.AI
Start App
Try: AI strategy tariffs earnings guidance layoffs interest rates growth

Justin Solomon

Associate Dean of Engineering Education; Associate Professor of EECS, Mit

Search every verified Justin Solomon interview, podcast appearance, and on-the-record quote — each transcript cross-checked by AI and human review to confirm speaker identity. Justin Solomon, associate dean for engineering education and associate professor of EECS at MIT, discussed the impact of AI on mathematics and education in an October 2026 podcast appearance. He described a shift from an era of "proof scarcity" to one of "proof abundance," noting that mathematicians must now adapt their practices as AI-generated proofs become more common. Solomon also said that current AI models are not well-suited for proof checking, and that progress has come from pairing large language models with separate verification tools, such as the programming language Lean. Addressing higher education, Solomon observed that MIT students are now receiving nearly 100% on homework assignments, which he attributed to widespread use of AI tools. He said MIT is developing programs that emphasize research experience, hands-on learning, and industry exposure over exams and problem sets, while acknowledging that assessment remains a significant challenge. He also commented on the competitive dynamics of AI research, suggesting that OpenAI appeared to allocate substantial resources to produce a proof for the Navier-Stokes problem after learning others were close to a counterexample.

Recent appearances

Notable quotes

“The real question we have to grapple with right now, on the advanced and I think we saw that. So for example, I don't think it's controversial to say that essentially when the news that people were getting close to this Navier-Stokes counterexample came out, it appears that OpenAI suddenly poured some radical amount of tokens or money or whatever into writing their proof first. You know, the typical academic, and I t”

Other executives at Mit

  • John Urschel, Assistant Professor of Mathematics; former Baltimore Ravens offensive lineman

The summary and quote tags on this profile are produced with AI assistance from verified, first-person interview transcripts, then checked by our team to confirm the speaker's identity and the accuracy of every quote. See how we verify →