DeepSeek quietly released Prover-V2, an open-source AI combining informal math reasoning with theorem proving —671B params
—Solves 88.9% of problems on MiniF2F
—Does 'cold-start' to break down complex proofs into subgoals before formal verification
@rowancheung
-
DeepSeek Releases Prover-V2: Open-Source AI for Mathematical Theorem Proving
By
–
-
Jensen Huang on AI Race: China Close Behind, Huawei Well-Positioned
By
–
NVIDIA's CEO, Jensen Huang, shared his thoughts on the AI race with China, saying:
— Rowan Cheung (@rowancheung) 1 mai 2025
—The country has great capability and is 'right behind' the U.S
—Huawei has everything to advance AI (in terms of infra)
—It's a long-term, infinite competitionpic.twitter.com/R2G4aXDMIzNVIDIA's CEO, Jensen Huang, shared his thoughts on the AI race with China, saying: —The country has great capability and is 'right behind' the U.S
—Huawei has everything to advance AI (in terms of infra)
—It's a long-term, infinite competition -
Nvidia CEO: China Closing AI Gap with U.S., Tech News Roundup
By
–
AI NEWS: Nvidia CEO Jensen Huang just said China's "right behind" the U.S. in the AI race! Plus, more news from DeepSeek, Runway, Midjourney, Xiaomi, JetBrains, and Amazon. Here's everything you need to know:
-
In-depth AI news analysis coming soon in newsletter
By
–
As always, I'll be sending out a more in-depth rundown on all the AI news, and why it actually matters in ~5 hours in my newsletter. Join 1,000,000+ readers for free and never miss a thing in AI ever again:
-
Yelp Tests AI Virtual Agents for Restaurant Customer Calls
By
–
As part of its Spring 2025 update, Yelp will test an AI-powered feature that lets restaurants and businesses handle customer calls using virtual agents.
— Rowan Cheung (@rowancheung) 30 avril 2025
This will help businesses operate even when their support staff is busy or unavailablepic.twitter.com/OAffbWOd9UAs part of its Spring 2025 update, Yelp will test an AI-powered feature that lets restaurants and businesses handle customer calls using virtual agents. This will help businesses operate even when their support staff is busy or unavailable
-
Google Expands NotebookLM Audio Overviews to 50+ Languages
By
–
Google just announced the expansion of NotebookLM's podcast-generating Audio Overviews feature
— Rowan Cheung (@rowancheung) 30 avril 2025
It now supports over 50 languages, including Spanish and Hindi, for easy creation of multilingual contentpic.twitter.com/5P5QFPS3BDGoogle just announced the expansion of NotebookLM's podcast-generating Audio Overviews feature It now supports over 50 languages, including Spanish and Hindi, for easy creation of multilingual content
-
Nvidia Open-Sources Describe Anything for Image and Video Descriptions
By
–
Nvidia just open-sourced Describe Anything!
— Rowan Cheung (@rowancheung) 30 avril 2025
It's a new method to generate detailed descriptions for specific areas in images and videos
All you have to do is mark the region with points, boxes, scribbles, or masks!pic.twitter.com/AgtJWuH00bNvidia just open-sourced Describe Anything! It's a new method to generate detailed descriptions for specific areas in images and videos All you have to do is mark the region with points, boxes, scribbles, or masks!
-
Elon Musk Announces Grok 3.5 Launch Next Week for SuperGrok Users
By
–
Elon Musk just confirmed that xAI will launch Grok 3.5 next week
— Rowan Cheung (@rowancheung) 30 avril 2025
He said that the upcoming version will reason from 'first principles' and provide answers that don't exist on the internet
However, it's only coming as an early beta to SuperGrok users!pic.twitter.com/gDo6UuBpGZElon Musk just confirmed that xAI will launch Grok 3.5 next week He said that the upcoming version will reason from 'first principles' and provide answers that don't exist on the internet However, it's only coming as an early beta to SuperGrok users!
-
OpenAI Reverses GPT-4o Update After Making It Annoying
By
–
After mistakenly making GPT-4o "sycophant-y" and "annoying," OpenAI reversed the update, fixing the issue CEO Sam Altman said the company is also working on "additional fixes" for the model's personality and will share more in the coming days
-
AI News Digest Newsletter Coming in 5 Hours
By
–
As always, I'll be sending out a more in-depth rundown on all the AI news, and why it actually matters in ~5 hours in my newsletter. Join 1,000,000+ readers for free and never miss a thing in AI ever again: