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 […]
Author: Kyle Wiggers
Posted: 30 April 2025, 12:20 pm

The crush of traffic going into training and running AI has quickly turned into a major cost and resource headache for organizations. Today, Cast AI, a startup building tools to ease and optimize workloads for AI and other tasks with automation, is raising a major round of funding on the back of strong growth and […]
Author: Ingrid Lunden
Posted: 30 April 2025, 12:02 pm

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 […]
Author: Jagmeet Singh
Posted: 30 April 2025, 12:00 pm

X is now allowing select creators to upload videos in 4K resolution, and will roll out the feature to all premium subscribers soon.
Author: Ivan Mehta
Posted: 30 April 2025, 7:05 am

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 […]
Author: Marina Temkin
Posted: 30 April 2025, 4:47 am

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 […]
Author: Kyle Wiggers
Posted: 30 April 2025, 4:21 am

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 […]
Author: Maxwell Zeff
Posted: 30 April 2025, 12:21 am

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 […]
Author: Maxwell Zeff
Posted: 30 April 2025, 12:15 am

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. […]
Author: Kirsten Korosec
Posted: 29 April 2025, 11:41 pm

Last month, Brett Adcock, founder of 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 […]
Author: Marina Temkin
Posted: 29 April 2025, 10:59 pm

AI cheating startup Cluely went viral last week with bold claims that its hidden in-browser window is “undetectable” and can be used to “cheat on everything” from job interviews to exams. But some startups are claiming they can catch Cluely’s users. And Cluely says it’s ready to develop hardware products like smart glasses, or even […]
Author: Charles Rollet
Posted: 29 April 2025, 9:55 pm

As part of its Q1 2025 earnings release, Snap said it’s scrapping plans for a simplified version of its app. The news comes seven months after Snapchat began testing a redesigned version of the app without the Snap Map or Stories tabs. The new version consolidated the app’s navigation bar around three icons: chat, camera, […]
Author: Aisha Malik
Posted: 29 April 2025, 9:19 pm

Freepik, the online graphic design platform, unveiled a new “open” AI image model on Tuesday that the company says was trained exclusively on commercially licensed, “safe-for-work” images. The model, called F Lite, contains around 10 billion parameters — parameters being the internal components that make up the model. F Lite was developed in partnership with […]
Author: Kyle Wiggers
Posted: 29 April 2025, 8:09 pm

Google Play’s app marketplace is losing apps. From the start of 2024 to the present, the Android app marketplace went from hosting about 3.4 million apps worldwide to just around 1.8 million, according to a new analysis by app intelligence provider Appfigures. That’s a decline of about 47%, representing a significant purge of the apps […]
Author: Sarah Perez
Posted: 29 April 2025, 8:01 pm

OpenAI CEO Sam Altman said Tuesday the company is “rolling back” the latest update to the default AI model powering ChatGPT, GPT-4o, after complaints about strange behavior, in particular extreme sycophancy. “[W]e started rolling back the latest update to GPT-4o last night,” Altman wrote in a post on X. “[I]t’s now 100% rolled back for free [ChatGPT] […]
Author: Kyle Wiggers
Posted: 29 April 2025, 7:08 pm