DeepSeek upgrades its math-focused AI model Prover

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

Read more

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

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

Read more

OpenAI explains why ChatGPT became too sycophantic

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

Read more

Meta’s LlamaCon was all about undercutting OpenAI

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

Read more