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 …