Interview recorded at Station F, Paris, at GOSIM AI on May 6, 2026. Alexy Khrabrov speaks with Sir Timothy Gowers, Fields Medal-winning mathematician, professor at the Collège de France and the University of Cambridge, and a leading voice on automatic theorem proving. The conversation covers how mathematicians actually discover proofs,
Community Research Center for Reliable AI (CR4AI) is established at Northeastern Oakland in November 2025, under the leadership of Dr. Alexy Khrabrov, who joins Northeastern as an Adjunct Research Scientist. CR4AI is created with a belief that in order to build AI that works for all, you need a diverse
Why did we start the name of our Center with Community? Technologies such as AI affect all strata of the society. But even before AI, Open-source Software (OSS), and before that, Free Software as pioneered by FSF, was advanced through inherently community-centric processes. The reason is that such aspects of
Over the course of the Summer 2025, Dr. Alexy Khrabrov convened industry leaders building production AI systems, asking a question: đź’ˇWhat engineering principles do we need to follow to make AI reliable? The process of deep thought and discussion lead to the concise document listing the pillars and principles of
At the opening of AI By the Bay 2025, Alexy Khrabrov, Ph.D., Founder and Organizer of AI By the Bay conferences and Bay Area AI meetups, and Dr. Bethany Edmunds, the Associate Dean for West Coast, Northeastern University, announced the establishment of the Community Research Center for Reliable AI