Journalist Focused on the Intersection of Mathematics, Artificial Intelligence, and Technology; Author of "The Proof in the Code"; Co-Host of "The Joy of Why" Podcast

Yarmouth, ME, USA
Live Event: Please Contact Virtual Event: Please Contact More Fee Info

Kevin Hartnett Biography

Kevin Hartnett is a mathematics and technology journalist recognized for his ability to transform abstract, complex ideas into narratives accessible to a broad audience. His work has appeared in Quanta Magazine, The Atlantic, The Boston Globe, WIRED, Nautilus, Scientific American, and other leading publications. Early in his career, Hartnett wrote Brainiac, a weekly column for the Ideas section of The Boston Globe, which helped establish his reputation for bringing mathematical thinking to general readers with clarity.

Hartnett served as senior writer at Quanta Magazine, covering mathematics and computer science. His feature, "A Unified Theory of Randomness," was selected for The Best Writing on Mathematics, an annual anthology published by Princeton University Press, and his writing has appeared in multiple editions of the series.

Hartnett is the author of the book "The Proof in the Code," a work of science journalism that explores the birth and rise of Lean and the movement transforming mathematics through human–computer collaboration. The book details how mathematicians such as Peter Scholze and Terence Tao, as well as organizations like Google DeepMind and Meta AI, have adopted Lean to advance computer reasoning and reshape the way mathematicians work, collaborate, and assess truth. "The Proof in the Code" received critical acclaim, with Publishers Weekly describing it as "a thrilling account" of the quest to build a truth machine.

BOOK Kevin Hartnett

Speaker profile last updated by AAE Talent Team on 06/05/2026.

  • How do I book Kevin Hartnett to speak at my event?

    Our experienced booking agents have successfully helped clients around the world secure speakers like Kevin Hartnett for speaking engagements, personal appearances, product endorsements, or corporate entertainment since 2002. Click the Check Availability button above and complete the form on this page to check availability for Kevin Hartnett, or call our office at 1.800.698.2536 to discuss your upcoming event. One of our experienced agents will be happy to help you get speaking fee information and check availability for Kevin Hartnett or any other speaker of your choice.
  • What are the speaker fees for Kevin Hartnett

    Speaking fees for Kevin Hartnett, or any other speakers and celebrities, are determined based on a number of factors and may change without notice. The estimated fees to book Kevin Hartnett are available upon request for live events and available upon request for virtual events. For the most current speaking fee to hire Kevin Hartnett, click the Check Availability button above and complete the form on this page, or call our office at 1.800.698.2536 to speak directly with an experienced booking agent.
  • What topics does Kevin Hartnett speak about?

    Kevin Hartnett is a keynote speaker and industry expert whose speaking topics include Artificial Intelligence, Author, Computer Science, Disruptive Thinking, Journalist, Mathematics, Non-Fiction Authors, Podcast Host, Thought Leadership
  • Where does Kevin Hartnett travel from?

    Kevin Hartnett generally travels from Yarmouth, ME, USA, but can be booked for private corporate events, personal appearances, keynote speeches, or other performances. For more details, please contact an AAE Booking agent.
  • Who is Kevin Hartnett’s agent?

    AAE Speakers Bureau has successfully booked keynote speakers like Kevin Hartnett for clients worldwide since 2002. As a full-service speaker booking agency, we have access to virtually any speaker or celebrity in the world. Our agents are happy and able to submit an offer to the speaker or celebrity of your choice, letting you benefit from our reputation and long-standing relationships in the industry. Please click the Check Availability button above and complete the form on this page including the details of your event, or call our office at 1.800.698.2536, and one of our agents will assist you to book Kevin Hartnett for your next private or corporate function.
  • What is a full-service speaker booking agency?

    AAE Speakers Bureau is a full-service speaker booking agency, meaning we can completely manage the speaker’s or celebrity’s engagement with your organization from the time of booking your speaker through the event’s completion. We provide all of the services you need to host Kevin Hartnett or any other speaker of your choice, including offer negotiation, contractual assistance, accounting and billing, and event speaker travel and logistics services. When you book a speaker with us, we manage the process of hosting a speaker for you as an extension of your team. Our goal is to give our clients peace of mind and a best-in-class service experience when booking a speaker with us.
  • Why is AAE Speakers Bureau different from other booking agencies?

    If you’re looking for the best, unbiased speaker recommendations, paired with a top-notch customer service experience, you’re in the right place. At AAE Speakers Bureau, we exclusively represent the interests of our clients - professional organizations, companies, universities, and associations. We intentionally do not represent the speakers we feature or book. That is so we can present our clients with the broadest and best performing set of speaker options in the market today, and we can make these recommendations without any obligation to promote a specific speaker over another. This is why when our agents suggest a speaker for your event, you can be assured that they are of the highest quality with a history of proven success with our other clients.

Kevin Hartnett is a keynote speaker and industry expert who speaks on a wide range of topics. The estimated speaking fee range to book Kevin Hartnett for your event is available upon request. Kevin Hartnett generally travels from Yarmouth, ME, USA and can be booked for (private) corporate events, personal appearances, keynote speeches, or other performances. Similar motivational celebrity speakers are Laurence Moroney, Prateek Joshi, John Lennox, Amir Husain and Pedro Domingos. Contact All American Speakers for ratings, reviews, videos and information on scheduling Kevin Hartnett for an upcoming live or virtual event.

Tell us about your event!

During normal business hours, we respond to most inquiries within 4 hours.
Please Select Event Budget
Please enter your message
Please Enter Your Name
Please Enter Your Email
  • Customized Service

    Our agents find the right fit for your event

  • Unparalleled Database

    Full access to all speakers & celebrities

  • One Stop Shopping

    A reliable and unbiased point of contact

  • Logistics Management

    Your personal Logistics Manager who takes care of all event details

This website is a resource for event professionals and strives to provide the most comprehensive catalog of thought leaders and industry experts to consider for speaking engagements. A listing or profile on this website does not imply an agency affiliation or endorsement by the talent.

All American Entertainment (AAE) exclusively represents the interests of talent buyers, and does not claim to be the agency or management for any speaker or artist on this site. AAE is a talent booking agency for paid events only. We do not handle requests for donation of time or media requests for interviews, and cannot provide celebrity contact information.

If you are the talent and wish to request a profile update or removal from our online directory, please submit a profile request form.

TOP