DeepSeek's newly upgraded math-focused AI model, Prover-V2, has sparked speculation about the company's next-generation R2 reasoning model. The release of Prover-V2 has captured attention online, with many on social media wondering what it means for DeepSeek's upcoming R2 model. This comes as major Chinese tech firms, such as those that have recently released their own large language models, raise the stakes by keeping their own R2 models under wraps.
https://www.scmp.com/tech/big-tech/article/3308678/deepseeks-prover-maths-solving-model-fuels-speculation-about-next-gen-r2-progress?module=top_story&pgtype=sectionHuawei's OceanProtect Backup offers 10 times better performance than traditional backup options, with a 99.99% accuracy in detecting ransomware attacks, safeguarding key data from its training corpus and vectorial databases in industries like oil and gas and managed service providers (MSPs). Huawei DME is a data management platform that integrates Omni-Dataverse to help clients eliminate data silos across geographically dispersed data centers. The platform can recover data from over 100 billion files in seconds, enabling efficient data processing and utilization. Additionally, DCS efficiently pools xPU resources and intelligently plans resource allocation using virtualization and container technologies, increasing resource usage. DataMaster in DME offers AI-based O&M with AI Copilot for all scenarios, providing intelligent Q&A, maintenance assistant, and inspection expert applications, creating an exceptional O&M experience.
https://www.prnewswire.com/news-releases/huawei-lancia-la-soluzione-ai-data-lake-posizionata-per-accelerare-lintelligenza-del-settore-302443772.htmlMeta reported a significant quarterly profit of $16.6 billion, exceeding expectations, as it continues to invest heavily in cloud computing and artificial intelligence. The company has unveiled its first standalone AI assistant app, directly competing with ChatGPT, and plans to allocate $64-72 billion for massive infrastructure investments in 2025, primarily supporting its AI initiatives.
https://www.hurriyetdailynews.com/tech-giants-meta-and-microsoft-report-strong-earnings-208689Microsoft posted robust quarterly results, with revenue rising 13% to $70.1 billion, driven by strong performance in cloud computing and artificial intelligence businesses. The company's share price surged over 8% in after-hours trading, beating analyst expectations. Microsoft's Cloud revenue reached $42.4 billion, growing 20% year-over-year, attributed to "continued demand for our differentiated offerings." CEO Satya Nadella said the company is tweaking its spending and prioritizing finding power sources for its AI data center needs. The Intelligent Cloud segment showed particularly strong growth with revenue of $26.8 billion, up 21%.
https://www.malaymail.com/news/money/2025/05/01/microsoft-rakes-in-us701b-on-cloud-ai-boom-shares-surge-after-strong-quarter/175122Adversa AI, a platform for continuous AI Red Teaming, has been recognized as a "Hot Company" in the GenAI Application Security category by Cyber Defense Magazine at its 13th Annual Global InfoSec Awards.
https://www.prnewswire.com/news-releases/adversa-ai-named-winner-in-genai-security-during-2025-rsac-conference-302444035.htmlAI-powered enforcement is rapidly closing the gap between what people do and what authorities know about it. The current system is constrained by human capacity and resource limitations, leading to an "enforcement gap" where minor lawbreaking goes unchecked, strategic rule-bending by corporations thrives, and informal economies flourish. AI promises to upend this dynamic with mass surveillance capabilities that can process vast streams of data, integrate profiles, and spot patterns in real-time, making it increasingly plausible for every movement, transaction, and online interaction to be automatically monitored and assessed for legality.
https://www.techradar.com/pro/ai-and-the-future-of-law-enforcement-the-risks-of-perfectly-enforcing-imperfect-lawsFintech giant Ant Group has publicly introduced its team of renowned AI researchers as mentors for its "Plan A" talent recruitment programme, aiming to recruit top graduates in a tight talent market. The programme will involve world-class mentors working with applicants from top universities on AI projects, including artificial general intelligence (AGI).
https://www.scmp.com/tech/big-tech/article/3308681/ant-group-showcases-its-top-ai-researchers-bid-woo-graduates-tight-talent-market?module=top_story&pgtype=sectionThe Carlyle Group Inc. expects over $1.8 trillion to be deployed in private credit by 2030 to support large-scale AI projects, driven by tech companies' need for funding data centers with computing chips for AI models.
https://news.bloomberglaw.com/capital-markets/large-ai-projects-present-1-8-trillion-pool-for-private-creditChina's second phase of its "Clean Up" campaign targets AI misuse in online content, including spreading rumors, false info, explicit material, impersonation, and paid online promotion. The focus is on tackling illegal accounts, multi-channel networks, and website platforms to address these issues.
https://natlawreview.com/article/china-launches-special-campaign-clear-and-rectify-abuse-ai