China’s new sandwich-making, shirt-folding robot trains 17 hours a day to conquer manufacturing [West Palm Beach, Florida – United States] [English]

AgiBot, a Chinese robotics firm, is integrating AI into humanoid robots, enabling them to perform tasks like folding shirts and making sandwiches. With significant government investment, China aims to enhance its manufacturing capabilities, potentially challenging Tesla’s Optimus project, which also seeks to deploy humanoid robots in factories.

DeepSeek-AI Released DeepSeek-Prover-V2: An Open-Source Large Language Model Designed for Formal Theorem, Proving through Subgoal Decomposition and Reinforcement Learning [English]

DeepSeek-AI has launched DeepSeek-Prover-V2, an open-source large language model aimed at formal theorem proving. By utilizing subgoal decomposition and reinforcement learning, it generates verifiable mathematical proofs, addressing the challenges of bridging informal reasoning with formal logic. The model shows promising results on various formal reasoning benchmarks.

U.S. lawmakers claim DeepSeek uses “tens of thousands of chips” and urge Nvidia to provide sales information (11:48) – 20250417 – Instant Financial News [Chinese (Traditional)]

A bipartisan U.S. House committee has raised concerns about DeepSeek, claiming it poses a significant threat to national security. The committee urges NVIDIA to disclose sales information regarding chips used by DeepSeek, which allegedly has ties to the Chinese government and may bypass U.S. export controls.

DeepSeek reveals a “revolutionary” technology to operate its upcoming R3 model for inference [Arabic]

DeepSeek, a Chinese AI startup, has unveiled a revolutionary technique to enhance the reasoning capabilities of its upcoming R3 model. Collaborating with Tsinghua University, the company introduced innovative methodologies aimed at improving the accuracy and speed of large language models, promising significant advancements in AI response quality.

The Emotional Evolution of the Intelligent Era: Tuya Smart and DeepSeek Lead the Future of AI-driven Companionship [English]

Tuya Smart and DeepSeek are revolutionizing the smart home experience by transforming technology into emotionally intelligent companions. Their collaboration enhances AI interactions, allowing devices to respond to users’ emotional needs, fostering comfort and connection. Innovations like AI-powered storytelling machines and holographic companions promise a future of empathetic technology.

European major banks test deep-seek AI models… different from the U.S. financial sector.

European banks, including HSBC and NatWest, are testing deep learning AI models, contrasting with U.S. banks’ hesitance due to political and security concerns. This shift highlights the competitive landscape in AI, as European institutions explore innovative solutions while American counterparts face regulatory pressures and geopolitical tensions.

Wordpress Social Share Plugin powered by Ultimatelysocial
LinkedIn
Share
Instagram
RSS