Lean
Programming language and theorem prover
新闻与深度文章
加载中…
新闻报道 | Quanta Magazine
Can Computers Be Mathematicians?
Artificial intelligence has bested human…
新闻报道 | Quanta Magazine
Proof Assistant Makes Jump to Big-League Math
Computer proof assistants have been an i…
新闻报道 | BigThink
Will AI replace mathematicians?
If computers can beat us at chess, maybe…
Proof-assistant software handles an abst…
Every day, dozens of like-minded mathema…
新闻报道 | Quanta Magazine
At the Math Olympiad, Computers Prepare to Go for the Gold
Computer scientists are trying to build …