Math x MIT: ICML After-Dinner Drinks with E14 Fund, Axiom & Hico

​Come join us for drinks with people who think seriously about math and AI.

​Axiom, E14 Fund (the MIT-affiliated VC) and Hico Ventures are hosting after-dinner drinks for the ICML community in Seoul. Expect a mix of researchers, engineers, and founders working on automated reasoning, formal verification, math-native models, and applied ML. Some of our favorite conversations happen after the talks end — come be part of one.

​Spots are limited and we'll confirm registrations before the event.

​Hosted by
E14 Fund is the early-stage venture fund officially affiliated with MIT. E14 invests in AI and deep tech startups from MIT and beyond, while also donating a share of profits back to MIT.

Axiom is building a self-improving, superintelligent reasoning system. Our system, AxiomProver, turns natural-language prompts into formally verified proofs, recently scoring a perfect 12/12 on the Putnam, and becoming the first AI to autonomously solve open research problems and publish its findings in peer-reviewed mathematics journals. Beyond research, Axiom is partnering with Harvard Business School's Scott Kominers to build EconLib, the first formally verified library of economic theorems. Axiom raised a $200M Series A at a $1.6B valuation within a year of founding. We're actively hiring across reinforcement learning, formal verification, and more. Come find us to talk!

​Hico Ventures invests in early stage startups that are solving big problems and tackling large markets using artificial intelligence and/or blockchain technology. We provide founders access to resources from ideation to exit by leveraging ecosystems integrated into the value chain of entrepreneurship. Hico is backed by SK Networks