NVIDIA Stock Drops 4% as DeepSeek Unveils Advanced AI Model
DeepSeek, a prominent AI company, recently released its latest large language model, DeepSeek-Prover-V2-671B, on the well-known AI open-source community platform. This model is specifically designed for mathematical theorem proving and boasts an impressive 671 billion parameters. It utilizes an advanced hybrid expert (MoE) architecture, featuring 61 layers of Transformer and a 7168-dimensional hidden layer, with support for up to 163,800 position embeddings. This makes it a formidable tool for tackling complex mathematical problems.
This development marks a significant leap in the application of generative AI in specialized fields. Compared to traditional models, DeepSeek-Prover-V2-671B not only represents a qualitative leap in parameter scale but also significantly enhances the efficiency and accuracy of formal mathematical proofs through optimized algorithms. This advancement is driven by the combined forces of deep learning, neural networks, and large model technologies, demonstrating the vast potential of AI in scientific research.
The news had an immediate impact on the U.S. stock market. On the evening of April 30, NVIDIA's stock price dropped by nearly 4%, resulting in a market capitalization loss of over 750 billion yuan. This reaction underscores the market's sensitivity to the evolving competitive landscape in AI, with nvidia, a key player in AI hardware and software ecosystems, experiencing significant fluctuations that reflect the industry's rapid transformation.
In this era of AI innovation, ordinary users also stand to benefit. For instance, the intelligent drawing and photo processing features of a popular AI tool, which leverage deep learning technology, provide users with a convenient and efficient creative experience. Users can generate beautiful artwork by simply inputting text descriptions or upload photos for one-click background changes and intelligent cutouts, significantly enhancing personal and media creation efficiency.
Currently, AI technology is not only driving advancements in scientific research but also unleashing tremendous energy in daily life and work. As society faces increasingly complex challenges, it is essential to approach AI-driven changes rationally, embracing the benefits while being mindful of potential ethical and security risks. In the future, with the help of user-friendly tools like this AI tool, more people will be able to express their creativity and improve work efficiency, ushering in a new chapter in the intelligent era.

Ask Aime: What impact will DeepSeek-Prover-V2-671B have on AI hardware and software?