3 ms·
I think you're referring to this one? https://news.ycombinator.com/item?id=36228125 https://news.ycombinator.com/item?id=36228125 (underlying article: https:/
by interroboink 3y ago
I think you're referring to this one? https://news.ycombinator.com/item?id=36228125 https://news.ycombinator.com/item?id=36228125
(underlying article: https://www.nature.com/articles/s41586-023-06004-9 https://www.nature.com/articles/s41586-023-06004-9)
Certainly computer-aided proofs have been a thing for a while; I wonder where one draws the line between "the AI made a new proof" and "we build a system that proved X"? Which I guess really gets at the more basic question "what is an AI"?
- wslh 3y agoI think one line is: you ask the computer about a problem in a declarative way (e.g. Z3) and the computer came up with a solution or a description of where it is blocked by the problem with potential areas of attack.