Kaj_Sotala comments on Progress on automated mathematical theorem proving? - Less Wrong

14 Post author: JonahSinick 03 July 2013 06:40PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (65)

Sort By: Best

You are viewing a single comment's thread.

Comment author: Kaj_Sotala 03 July 2013 07:15:06PM 16 points [-]

There's apparently an annual automated theorem proving competition, looking at the kinds of problems there might be useful.

Comment author: JonahSinick 03 July 2013 10:19:18PM 2 points [-]

Thanks for the reference.