What are the prospects for automatic theorem proving?

[@robienob89]

Microsoft could you in put the screen in a mini window in the corner in the future? That way we'll see what the lecturer is talking about

[@brandomiranda6703]

Are the slides available?

[@brandomiranda6703]

Does someone have a good list of people working on the human like/AI approach?

[@maloxi1472]

The reverse problem is actually more likely to yield fruits. Humans aren't particularly great at math to begin with. However, automatic theorem proving could massively advance AGI research, for obvious reasons

[@mcpr5971]

Hey Microsoft, why don't you "research" how to make a secure operating system that can't be rooted by a single email attachment. I can't believe smart people would stand behind a company that has been such a disgrace to personal computing.

[@n33to]

I was curious about the various considerations of using, designing, and philosophy of mathematic proof checking programs. This video was interesting and is appreciated.

[@ultraviolet.catastrophe]

It's amazing how he's speaking in lowercase