Microsoft just launched an AI that discovered a new chemical in 200 hours instead of years [English]

Microsoft has launched an AI platform, Microsoft Discovery, that accelerates scientific research, enabling the discovery of new chemicals in just 200 hours instead of years. This innovative tool allows scientists to interact with supercomputers using natural language, democratizing access to advanced research capabilities and transforming the scientific discovery process.

[I Visited JD.com’s Logistics Center, “China’s Amazon”] AI Predicts Orders, Robots Move Everything…Shipping 720,000 Items Daily

JD Logistics’ new smart center in Beijing showcases advanced AI and robotics, handling up to 720,000 packages daily. With a focus on efficiency, the facility employs autonomous robots for sorting and delivery, significantly increasing storage capacity. JD is expanding its logistics services, particularly in South Korea, amid rising domestic demand.

Adoption of AI in Manufacturing: A look into trends, strategies and challenges [English]

The adoption of AI in manufacturing is transforming decision-making, predictive maintenance, and quality control. With 40% of manufacturers prioritizing AI implementation, the technology promises to enhance efficiency and innovation. However, a clear strategy and workforce upskilling are essential for successful integration and maximizing its potential.

An additional budget of 1.9 trillion won will be allocated for AI… securing 10,000 GPUs. [Korean]

The South Korean government has approved an additional budget of 1.9 trillion won for AI development, focusing on securing 10,000 GPUs to enhance national AI infrastructure. This funding aims to support domestic AI semiconductor commercialization and foster innovation through various projects, including attracting top global AI researchers.

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.

Xinhua Headlines: Xi inspects Shanghai large-model incubator, underscoring China’s AI ambitions [English]

President Xi Jinping visited a large-model incubator in Shanghai, emphasizing China’s ambitions in AI development. He highlighted the rapid evolution of AI technology and its potential to transform industries. Xi’s visit follows a recent AI study session, underscoring the government’s commitment to fostering innovation and global cooperation in the sector.

Wordpress Social Share Plugin powered by Ultimatelysocial
LinkedIn
Share
Instagram
RSS