Pramaana Labs, an AI startup, has secured $27 million in seed funding. The company develops technology to ensure AI answers are mathematically verifiable. The startup will use the new funding to train Pramaana's formalisation and proof-checking models, expand its AI research staff, and venture into regulated areas such as tax, medical diagnosis, cybersecurity and financial compliance.