DeepSeek: Technological innovations and development trends toward artificial general intelligence
Received date: 2025-02-14
Online published: 2025-04-19
Copyright
Wenjun WU , Xingchuang LIAO , Jinkun ZHAO . DeepSeek: Technological innovations and development trends toward artificial general intelligence[J]. Science & Technology Review, 2025 , 43(6) : 14 -20 . DOI: 10.3981/j.issn.1000-7857.2025.02.00175
1 |
|
2 |
|
3 |
|
4 |
|
5 |
|
6 |
|
7 |
|
8 |
|
9 |
|
10 |
|
11 |
de Moura L, Ullrich S. The lean 4 theorem prover and programming language[C]//Automated Deduction-CADE 28: 28th International Conference on Automated Deduction, Virtual Event. Cham: Springer International Publishing, 2021: 625-635.
|
12 |
|
13 |
|
14 |
|
15 |
|
/
〈 |
|
〉 |