Our news
-
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…
-
Cast AI raises $108M to get the max out of AI, Kubernetes and other workloads
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
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…