Probably, a new startup founded by Peter Elias, raised a $9 million seed round from Andreessen Horowitz to build a reliability layer for enterprise AI, combining a deterministic validator with full citations and audit trails to push accuracy toward the 99.99% standard common in deterministic software.