--:--

Wed, Jun 17 • Nairobi

Breaking

Foreign Ministry reiterates One China stance, says Taiwan passports not valid under Kenyan entry rules Why global investors keep missing Africa’s biggest climate opportunity How NPS plans to dismantle political gangs Ocean Conference: 14 countries sign 'Mombasa Declaration' to fight illegal fishing G7 leaders pledge fresh funding to contain Ebola outbreak, says World Cup not at risk Court backs IEBC in diaspora voting rights battle Finance Bill 2026 ‘rushed’ through Second Reading without our input – Opposition MPs Africa’s anti-corruption research centre launched in Nairobi New safety partnership aims to protect Kenya's growing army of food delivery riders Jeremy Clarkson reveals prostate cancer diagnosis on farming show Japan raids ice cream giants over price-fixing allegations Graduates to get access to start-up capital under new programme

Technology

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

TechCrunch Jun 17, 2026 3h ago ⏱ 1 min read 👁 4 views

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

Image via TechCrunch

📋 Article Summary

41 words

Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be costly and reliability is at a premium. This story was reported by TechCrunch. For more Technology news in Kenya, stay tuned to Masaa.

This is a summary. Read the complete story on TechCrunch below.

Continue Reading

Full story on TechCrunch

Read Full Story →

🔗 Clicking will take you to techcrunch.com

👁 People Also Read

Qualcomm wants to be the chip inside whatever replaces your smartphone, and it just announced two products toward that end

Technology

Qualcomm wants to be the chip inside whatever replaces your smartphone, and it just announced two products toward that end

Qualcomm's CEO said today that the company is working on over 40 new AI hardware designs

KE

Z.ai’s open-weights GLM-5.2 beats GPT-5.5 on multiple long-horizon coding benchmarks for 1/6th the cost

Technology

Z.ai’s open-weights GLM-5.2 beats GPT-5.5 on multiple long-horizon coding benchmarks for 1/6th the cost

Today, Chinese AI startup Z.ai (formerly Zhipu AI) announced the immediate release of GLM-5.2, a 753-billion parameter open-weights large language…

The US government’s Anthropic models ban was never about an AI jailbreak

Technology

The US government’s Anthropic models ban was never about an AI jailbreak

The Trump administration's decision that forced Anthropic to pull its latest cybersecurity models could be reactionary, retaliatory, or both, but…

KE

Why Weibo’s tiny VibeThinker-3B has the AI world arguing over benchmarks again

Technology

Why Weibo’s tiny VibeThinker-3B has the AI world arguing over benchmarks again

On Sunday, a team of nine researchers at Sina Weibo — the Chinese social media giant better known for its…

► Necessary Cookies Always Active

Necessary cookies enable essential site features like secure log-ins and consent preference adjustments. They do not store personal data.

► Functional Cookies Remark

Functional cookies support features like content sharing on social media, collecting feedback, and enabling third-party tools.

► Analytical Cookies Remark

Analytical cookies track visitor interactions, providing insights on metrics like visitor count, bounce rate, and traffic sources.

► Advertisement Cookies Remark

Advertisement cookies deliver personalized ads based on your previous visits and analyze the effectiveness of ad campaigns.