4 ms·
I recall that DeepMind’s AI discovered a new type of Sorting Algorithm. Sorting is one of the most “trafficked” area of CS research, so I would say it’s a true
by g42gregory 3y ago
I recall that DeepMind’s AI discovered a new type of Sorting Algorithm. Sorting is one of the most “trafficked” area of CS research, so I would say it’s a true discovery.
- interroboink 3y agoI 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.