Axiom
411 posts
Heading to @RaiseSummit in Paris this week? @Felicis partner @FHaskaraman will moderate a session featuring leaders building the next generation of frontier AI infrastructure: @axiommathai, @prior_labs, @poolsideai, and @fieldai_ 📍Wednesday, July 9 | 1:00–1:40 PM Training at Scale: What a Frontier Lab Actually Needs See you there! 🚀
The #AGIPlayground 2026 lineup just got bigger.🔥 Speakers across agents, robotics, model research and venture: @genspark_ai , @insta360, @amilabs, @axiommathai, @yukaikk, NUS, NTU, @airwallex, Lanchi Ventures, @hf0, and more. More sessions land next week. 📅 Aug 3–4 · Gardens by the Bay, Singapore
Poolside is coming to @RaiseSummit Tomorrow @eisokant joins two panels that are very close to what we’re building toward: training AI at scale, and making the open ecosystem stronger. Tune in: Training at Scale: What a Frontier Lab Actually Needs 1:00 PM–1:40 PM - IREN AI Cloud Lounge With @axiommathai, @Prior_Labs, @fieldai_, @felicis From Research to Reality: Why Open Source Is the Engine of AI Innovation 4:20 PM–5:00 PM - Grace Hopper Stage With @arena, @huggingface, @NousResearch, @bfl_ai
During the first invited talk of SIAM Annual Meeting, Dr. @KenOno691 of @axiommathai and @UVA described the emerging landscape of Al-assisted mathematics and offered examples of how these tools can support and augment research. #SIAMAN26
During the first invited talk of SIAM Annual Meeting, Dr. @KenOno691 of @axiommathai and @UVA described the emerging landscape of Al-assisted mathematics and offered examples of how these tools can support and augment research. #SIAMAN26
If you're at ICML in Seoul and care about math, reasoning, and verification, come grab drinks with us: 📅July 7 | ⏰8pm | 🌃People the Terrace @axiommathai + @e14fund RSVP: luma.com/rmev9nn6?utm_s… (Also hosting a private dinner w handful of seats. DM @Amanda__Hecker for info!)
3/ Join us at People the Terrace, 13 Dosan -daero 81-gil, for after dinner drinks and hors d’oeuvres! In addition to over five hundred AI researchers who signed up, a team of our MTS will be there to chat about all things Axiom: Blurb: “If Lean infrastructure and metaprogramming sounds like your passion, come meet the team that built AXLE (Axiom Lean Engine)! We are Jimmy Xin and Karun Ram, not yet on X but eager to talk to you. Earlier this year in March, we released AXLE as a free tool, beloved by the community so we have been maintaining it consistently. Excited to be showcasing AXLE this ICML - we'll be presenting the technical report as one of two Best Papers at the AI4Math workshop. If you're interested in solving hard engineering, verification tools, and ML problems in AI4Math, come chat with us!” Paper: AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving Utilities
