Logos Research, a spinout from Imperial College London, is developing a technology to make computer code generated by AI models reliable enough for algorithmic trading and other applications where sound reasoning is critical. With Logos, AI can move from ‘this looks right’ to ‘this is proven correct,’ the standard required for finance, science, and every system where almost-right is still wrong.