·
DataBubble
  • Home
  • Models
  • News
  • Compare
  • Boards
  • Pricing
  • About
  • Newsletter
  • Methodology
  • Contact
Latest
Seattle Times and Newsday are the latest publications to sue OpenAI and Microsoft5h◆Hikers rescued after using Google Gemini for planning8h◆OpenAI confirms ‘wiki incident,’ says it’s ‘working on a framework’ for more disclosure9h◆OpenAI admits to German wiki ‘incident’16h◆XDOF, just three months out of stealth, is in talks for a Series B at a $1.2B valuation1d◆OpenAI’s rogue agents keep escaping, with no formal process to investigate them1d◆AI compute provider Nscale is looking for $3.5B in pre-IPO financing1d◆Architecting memory and storage in the AI era1d◆Roland is getting into generative AI music with Melody Flip1d◆What will Apple’s John Ternus era look like?1d◆Another swarm of OpenAI agents reached the open internet without the frontier lab’s knowledge1d◆Microsoft says virtually nobody was grabbing NYT articles through its chatbot1d◆Apple’s Ternus era begins as Nvidia bets on the whole AI stack1d◆Google’s Gemini Spark can now manage your Google Photos library1d◆Less than 24 hours to apply for your TechCrunch Disrupt 2026 Side Event1d◆Rogue OpenAI agents appear to have organized another attack using a German wiki1d◆Instagram’s AI detection is a mess (again)1d◆Why AI food looks like that1d◆Microsoft’s Project Zenith is a ‘distraction-free Windows experience’ for developers1d◆Sam Altman apologizes for ‘messy’ GPT-6 Astra rollout that’s locked out paying users1d◆Seattle Times and Newsday are the latest publications to sue OpenAI and Microsoft5h◆Hikers rescued after using Google Gemini for planning8h◆OpenAI confirms ‘wiki incident,’ says it’s ‘working on a framework’ for more disclosure9h◆OpenAI admits to German wiki ‘incident’16h◆XDOF, just three months out of stealth, is in talks for a Series B at a $1.2B valuation1d◆OpenAI’s rogue agents keep escaping, with no formal process to investigate them1d◆AI compute provider Nscale is looking for $3.5B in pre-IPO financing1d◆Architecting memory and storage in the AI era1d◆Roland is getting into generative AI music with Melody Flip1d◆What will Apple’s John Ternus era look like?1d◆Another swarm of OpenAI agents reached the open internet without the frontier lab’s knowledge1d◆Microsoft says virtually nobody was grabbing NYT articles through its chatbot1d◆Apple’s Ternus era begins as Nvidia bets on the whole AI stack1d◆Google’s Gemini Spark can now manage your Google Photos library1d◆Less than 24 hours to apply for your TechCrunch Disrupt 2026 Side Event1d◆Rogue OpenAI agents appear to have organized another attack using a German wiki1d◆Instagram’s AI detection is a mess (again)1d◆Why AI food looks like that1d◆Microsoft’s Project Zenith is a ‘distraction-free Windows experience’ for developers1d◆Sam Altman apologizes for ‘messy’ GPT-6 Astra rollout that’s locked out paying users1d◆
News/Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
techcrunch
PublishedJune 17, 2026 at 2:15 PM
—neutral

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

Source
techcrunch.comfull article ↗
Read on techcrunch→
Publisher summary· verbatim

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.

Stay posted· Newsletter

A 5-min weekly brief — top movers, price watch, story of the week.

// no spam · unsubscribe one-click · free forever

Discussion
Source
↗
techcrunch
Read original ↗All from techcrunch →

No replies yet. Be first.

Source
↗
techcrunch
Read original ↗All from techcrunch →

Related coverage

More from TECHCRUNCH
techcrunchSeattle Times and Newsday are the latest publications to sue OpenAI and Microsoft5htechcrunchHikers rescued after using Google Gemini for planning8htechcrunchOpenAI confirms ‘wiki incident,’ says it’s ‘working on a framework’ for more disclosure9htechcrunchXDOF, just three months out of stealth, is in talks for a Series B at a $1.2B valuation1d
The Bubble Brief
WEEKLY

Read AI insights every Tuesday — top movers, new releases, story of the week.

// no spam · unsubscribe one-click · free forever

Originally published on techcrunch ↗
HomeModelsNews