I was curious about the various considerations of using, designing, and philosophy of mathematic proof checking programs. This video was interesting and is appreciated.
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
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.
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
I was curious about the various considerations of using, designing, and philosophy of mathematic proof checking programs. This video was interesting and is appreciated.
Are the slides available?
Does someone have a good list of people working on the human like/AI approach?
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
It's amazing how he's speaking in lowercase
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.