Others

Supio, an AI-powered legal analysis platform, lands $60M

April 30, 2025
Supio, a startup that uses AI to automate data collection and analysis for legal teams, has raised $60 million in a funding round led by Sapphire Ventures with participation from Mayfield and Thomson Reuters Ventures. The new capital, which brings Supio’s total raised to $91 million, will be put toward growth, hiring, and go-to-market efforts, […]

DeepSeek upgrades its math-focused AI model Prover

April 30, 2025
Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version of Prover, V2, to AI dev platform, Hugging Face, late on Wednesday. It appears to be built on top of the startup’s V3 model, which […]

Cast AI raises $108M to get the max out of AI, Kubernetes and other workloads

April 30, 2025
The crush of traffic going into training and running AI has quickly turned into a major cost and resource headache for organisations. Today, Cast AI — a startup building tools to ease and optimise AI and other workloads with automation — is raising a major round of funding on the back of its strong growth […]

Sarah Tavel, Benchmark’s first woman GP, transitions to venture partner

April 30, 2025
Eight years after joining Benchmark as the firm’s first woman general partner, Sarah Tavel announced on X that she is transitioning to a more limited role at the storied venture firm. In her new position as a venture partner, Tavel will continue to make investments and serve on existing company boards, but she will have […]

OpenAI explains why ChatGPT became too sycophantic

April 30, 2025
OpenAI has published a postmortem on the recent sycophancy issues with the default AI model powering ChatGPT, GPT-4o — issues that forced the company to roll back an update to the model released last week. Over the weekend, following the GPT-4o model update, users on social media noted that ChatGPT began responding in an overly […]

OpenAI explains why ChatGPT became too sycophant

April 30, 2025
OpenAI has published a postmortem on the recent sycophancy issues with the default AI model powering ChatGPT, GPT-4o — issues that forced the company to roll back an update to the model released last week. Over the weekend, following the GPT-4o model update, users on social media noted that ChatGPT began responding in an overly […]

Microsoft CEO says up to 30% of the company’s code was written by AI

April 30, 2025
Microsoft CEO Satya Nadella said that 20%-30% of code inside the company’s repositories was “written by software” — meaning AI — during a fireside chat with Meta CEO Mark Zuckerberg at Meta’s LlamaCon conference on Tuesday. Nadella gave the figure after Zuckerberg asked roughly how much of Microsoft’s code is AI-generated today. The Microsoft CEO […]

Meta’s LlamaCon was all about undercutting OpenAI

April 30, 2025
On Tuesday, Meta held its first-ever AI developer conference, LlamaCon, at its Menlo Park, California headquarters. The company announced the launch of a consumer-facing Meta AI chatbot app, which will compete with ChatGPT, as well as a developer-facing API for accessing Llama models in the cloud. Both releases aim to expand adoption of the company’s […]