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

techcrunch.com Jun 17, 2026

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

Curated by Shubham · TechCapsules · Jun 17, 2026

AI-summarised brief · reviewed before publication

Pramaana Labs has announced a $27 million seed funding round led by Khosla Ventures, with participation from several other investors. The startup aims to bring formal verification to AI, focusing on sensitive verticals like law, drug discovery, and tax preparation where errors can be costly. Pramaana's system combines a conventional large language model with a deterministic layer, using the open-source LEAN programming language to verify mathematical proofs. The company will build formal verification systems for each use case, overseen by domain experts, to ensure reliability and accuracy in AI deployments. This approach draws on the tools of mathematical formalization.

💡 Why It Matters

· By codifying rules and regulations into executable code, Pramaana Labs can provide stronger protections against AI errors and hallucinations.
· This deterministic approach can ensure that AI decisions are reliable and trustworthy, especially in high-stakes domains.

AI Capsules Funding Startups

Read full article on techcrunch.com

Elon Musk predicts Grok will start to challenge Hollywood by the end…

Elon Musk has announced that xAI's model, Grok, will be capable of creating full movies by the end of 2026. A trailer for Homer's The Odyssey, created using Grok Imagine Video 1.5, showcases the AI's rapid strides in video generation. The 2-minute-plus trailer features 36 consistent shots, realistic special effects, and emotional depth, demonstrating Grok's capabilities in scale, physics, and cinematic workflow. Musk believes Grok will be "watchable" by the end of 2026 and "really good" by 2027.

💡 Hollywood's dominance may be challenged by AI-generated content, as Grok's capabilities raise questions about the future of cinematic authorship.

androidcentral.com · Jun 18

I barely use Gemini’s default chatbot after trying the new Gemini Live…

Google has released a major update for its Gemini app, introducing a new Neural Expressive user interface for Gemini Live. The revamped interface focuses on AI-generated content, displaying spoken words, images, and more on the screen as users interact with the chatbot. This upgrade enables new use cases, such as generating images and viewing the output immediately, and provides users with more control over the conversation, including the ability to copy, share, and export responses.

💡 The Gemini Live update showcases Google's commitment to refining its AI tools, making them more intuitive and user-friendly. By prioritizing visual content, the new interface opens up new possibilities for everyday use, such as improving productivity and creativity.

techtimes.com · Jun 18

Satellite AI Inference Clears Orbit: Gemma 3 Ran Aboard YAM-9 in April

Loft Orbital's YAM-9 spacecraft successfully demonstrated the first publicly disclosed execution of a vision-language model in orbit. Aboard the spacecraft, Google DeepMind's Gemma 3 performed natural language queries, classified Earth imagery, and produced plain-English summaries without transmitting raw pixels to the ground. This achievement marks a significant shift in the value layer of Earth observation, moving from ground-based processing to onboard inference capabilities. The model, running on an Nvidia Jetson Orin AGX graphics processing unit, utilized a software harness developed by NASA's Jet Propulsion Laboratory to fit within the spacecraft's memory budget and processing constraints.

💡 This breakthrough enables Earth observation satellites to operate more autonomously, reducing reliance on ground-based processing and potentially leading to faster and more efficient analysis of satellite imagery.

interestingengineering.com · Jun 18

China’s Alibaba unveils AI brains designed to power the next generation of…

Chinese firm Alibaba has unveiled its first embodied AI model family, the Qwen-Robot suite, which links large language models with real-world robotic actions. The suite comprises three models focused on navigation, manipulation, and world modeling for robots operating in physical environments. Developed by Alibaba's Tongyi Lab, the Qwen-Robot suite enables machines to perceive, reason, and interact with the real world, joining a growing global push to advance embodied AI beyond traditional chatbot applications. The models are currently undergoing pilot testing with selected Alibaba Cloud enterprise clients.

💡 The Qwen-Robot suite's success could accelerate the development of robots capable of performing complex tasks in real-world environments, potentially transforming industries such as manufacturing, logistics, and healthcare.

peoplesworld.org · Jun 18

AI: If you build it, they will come—and take your job

The Big 6 AI companies are spending heavily on AI development, outpacing the potential bubble, with Amazon spending more on AI than its total earnings this year. The combined market value loss of $900 billion by Amazon, Google, and Microsoft is being erased by a 60% rise in spending, totaling $410 billion from last year. AI investment is keeping the US economy out of recession, but also leading to job losses, with companies like Amazon cutting jobs while investing in AI. The scale of these investments is driving mergers and increasing monopolization in the energy sector. AI hallucinations and false data are also concerns.

💡 AI investments are propping up the US economy, but at the cost of significant job losses. Ruthless job cuts by AI behemoths are setting a precedent for other companies to follow.

joplinglobe.com · Jun 18

Insight Health Joins AdvancedMD Marketplace to Bring Clinical AI Agents to Thousands…

Insight Health has joined the AdvancedMD Marketplace, making its AI-powered clinical agents available to thousands of independent practices and multi-specialty groups. This partnership aims to reduce the administrative burden in healthcare by automating front-office and documentation workflows. The integration will provide AdvancedMD users with access to Insight Health's suite of clinical agents, streamlining tasks and improving efficiency. The move is significant as it brings advanced technology to a large number of healthcare providers, potentially improving patient care and reducing costs. The partnership is expected to have a positive impact on the healthcare industry, with thousands of practices set to benefit from the new technology, and is a key development in the use of AI in healthcare, with the goal of reducing administrative tasks and enhancing clinical decision-making.

💡 By automating routine tasks, healthcare providers can focus on high-value tasks that improve patient outcomes. This integration also sets a precedent for wider adoption of AI-powered solutions in healthcare, driving innovation and efficiency in the sector.