Sisyphus pushing boulder upward

Victor Xiao (涵哲)

Quant • AI Researcher • Investor • Photographer

Like Sisyphus pushing his boulder upward, I find meaning in the perpetual climb toward understanding — where artificial intelligence meets the random walks, where mathematical formalism meets empirical reality.

I navigate between mathematical rigor and economic reasoning —

  • Co-founding Infinity Archive with an exceptional team, building the infrastructure that turns AI reasoning into decentralized, provable mathematical intelligence.
  • Leading the Verified AI Initiatives at Prof. Ronghui Gu's Lab, Columbia University Software System Lab, Field Institute Center for Mathematical AI, and Risklab International, advancing AI reasoning in system level verification.
  • Trained across Columbia Business School and University of Toronto, with experience as a quant researcher across hedge funds and investment banks.

FROM MODEL TO REASONING

AI Reasoning • Predictive Modelling • Formal Verification

THE NEW FRONTIER

Mathematics as the infrastructure for scientific discovery.

INDES

I capture the instantaneous lights and shadows that empower the human experience.

RANDOM WALKS

Reflections and analysis on AI, life and the market.

CONTACT