DeepSeek has released a new large-scale AI model named DeepSeek-Prover-V2-671B on the open-source platform Hugging Face.
This upgraded model, potentially a successor to last year's Prover-V1.5, features 671 billion parameters and adopts the efficient safetensors file format, enabling faster and more resource-efficient training and deployment across a range of precision settings.
Built on the DeepSeek-V3 architecture with a Mixture-of-Experts (MoE) design, the model comprises 61 Transformer layers and a 7168-dimensional hidden layer. It supports ultra-long context windows with a maximum position embedding of 163,800, allowing it to handle complex mathematical proofs. Additionally, FP8 quantization is employed to reduce model size and boost inference efficiency.
DeepSeek Unveils 671B-Parameter Math Model with Advanced Efficiency Features
Tags
With the rapid advancement of large language models, today's most sophisticated artificial intelligence (AI) systems can easily pass the classic Turing Test. This has prompted scientists to reconsider whether new…
Artificial intelligence (AI) is rapidly transforming scientific research. Once limited to analyzing data, AI systems are now able to design experiments and even generate new hypotheses. Some experts believe that,…
According to WIRED, OpenAI is preparing to launch a standalone social app built around its AI video generation model, Sora 2. The app closely mirrors the design and user experience…
Artificial intelligence (AI) is increasingly helping scientists decode how animals communicate and explore the possibility of dialogue across species. Recent studies show that species such as bonobos, chimpanzees, Japanese tits,…
Artificial intelligence (AI) is increasingly accelerating research across multiple disciplines worldwide, particularly in automating the generation of scientific hypotheses. By scanning vast amounts of literature, AI can identify research gaps…
Advances in dataset optimization, computing power, and algorithms have significantly boosted the accuracy of artificial intelligence (AI)-based facial recognition, with most systems now surpassing 99% accuracy in controlled environments and…
