Tech news picked on 2026-06-18
Pramaana Labs Raised $27 Million for Formal Verification
- Pramaana Labs raised a $27 million seed round from Khosla Ventures, aiming to ensure AI accuracy in sensitive fields like law, drug discovery, and tax preparation through formal verification.
- Receiving large investment does not prove the reliability of verification technology.
- One should avoid the mistake of choosing markets with high error costs and adding verification afterward.
- The correct sequence is to first pass standards in a narrow field.
How to Lead the AI World Model Ecosystem
- The world model startup Odyssey has been valued at 1.45 billion dollars.
- In Korea, the government's willingness to nurture and large corporations' hesitation to invest appear simultaneously, so the market does not open based on technology alone.
- Instead of competing head-to-head with global companies, it is better to prove performance and scalability in niches with clear uses, such as robotics, gaming, and simulations.
- Overseas partnerships and investments are results that follow after such proof.
The Convergence of AI and Crowdfunding: A Founder's Perspective
- Projects using the AI agent WAi in crowdfunding reportedly saw their average funding amounts nearly double.
- In Korea, technology adoption is fast, so the advantage gained from tools alone doesn't last long.
- The real competition lies not in adopting AI itself, but in how quickly customer responses on the platform are read and reflected in operations.
- Without linking customer value directly to revenue streams, even a high funding amount ends up as just a one-time figure.