Introducing Axiom's discovery team: @albe_alfa Alberto's path runs from the IMO → trading → training AI to crack a 130-year-old conjecture. He found new Lyapunov functions while no general algorithm existed before. AI for math discovery redefines the boundary of human minds.
Link to the first video of this series, with @f_charton: