Get the latest tech news

Machine-Assisted Proof [pdf]


None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of machine

machine

Photo of Terence Tao

Terence Tao

Photo of assisted proof

assisted proof

Related news:

News photo

Show HN: I designed an espresso machine and coffee grinder

News photo

Machine Learning-Driven Static Profiling for GraalVM Native Image

News photo

The big PlayStation 30th anniversary interview with Shawn Layden: "It was a fight to get the Sony name on the machine - they didn't want to be associated with it"