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 |
|
/
| 〈 |
|
〉 |