Cost-efficient AI foundation model developer (R1 series); spun out of High-Flyer quantitative hedge fund