Browse Articles

目前人工智能形式化证明数学定理遇到了哪些困难?有哪些最新进展?

intermediate知乎1 min read
View original source →
Share

Reading

+ = + =

Tap any word above to look it up or add it to your review deck

Key Vocabulary

deHSK1

really and truly

定理dìng lǐ
可以kě yǐHSK1

can

数学shù xuéHSK3

mathematics

证明zhèng míngHSK4

proof

哪些nǎ xiēHSK1

who?

逻辑luó jíHSK5

(loanword) logic

可能kě néngHSK2

possible

yǒuHSK1

to have; there is

HSK1
HSK1
后继hòu jì
已有yǐ yǒu
定义dìng yìHSK6

to define

HSK1

it

yòngHSK3

(courteous) to eat; to drink

人工智能rén gōng zhì néngHSK6

artificial intelligence (AI)

HSK2

word

shìHSK1

variant of 是[shi4]

模型mó xíngHSK6

pattern

Log in to save vocabulary
3💬 0
Comments (0)

Log in to leave a comment.

Loading comments...