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 […]

The Download: stereotypes in AI models, and the new age of coding

April 30, 2025
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. This data set helps researchers spot harmful stereotypes in LLMs What’s new? AI models are riddled with culturally specific biases. A new data set, called SHADES, is designed to help developers combat the…

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 […]

AI sales tax startup Kintsugi had doubled its valuation in 6 months

April 30, 2025
Kintsugi, a Silicon Valley-based startup that helps companies offload and automate their sales tax compliance, has raised $18 million in new funding led by global indirect tax technology solution provider Vertex. The startup plans to enable more small and medium businesses to use its AI-enabled capabilities for tax calculations and filings. The ongoing growth of […]

This data set helps researchers spot harmful stereotypes in LLMs

April 30, 2025
AI models are riddled with culturally specific biases. A new data set, called SHADES, is designed to help developers combat the problem by spotting harmful stereotypes and other kinds of discrimination that emerge in AI chatbot responses across a wide range of languages. Margaret Mitchell, chief ethics scientist at AI startup Hugging Face, led the…

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 […]