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

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

​X is now allowing select creators to upload videos in 4K resolution, and will roll out the feature to all premium subscribers soon.  

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

​Waymo and Toyota have agreed to explore a possible deal that could one day lead to a new vehicle designed for ride-hailing and even bring self-driving tech into consumer cars. The two companies have signed a preliminary agreement to look into developing and deploying an autonomous vehicle platform, according to a blog posted by Waymo. […]  

​Last month, Brett Adcock, founder of a robotics startup Figure AI, claimed in a post on X that his company “is now # 1 most sought-after private stock in the secondary market.” But the company has sent cease-and-desist letters to at least two brokers who run secondary marketplaces, those brokers told TechCrunch.These people said Figure […]