>The AI identified 20,515 signals of interest, which the researchers had to inspect manually. Of those, eight had the characteristics of technosignatures and couldn’t be attributed to radio interference. The obvious question being, if the AI is so smart why was it necessary to use humans to check 20,515 signals to find the eight with the "characteristics of technosignatures"?
AI is not a well-defined term. This is more likely a specific machine learning technique that is designed to identify all the boring "normal stuff" and ignore it, and then do that at very large scale. By doing that, you can find the interesting parts so that humans with more limited resources can determine if those newly flagged things need to be added to the boring list, or if they do represent something truly inter…
Gödel ruined the fun of automated theorem testing a century ago unless we make significant discoveries in math.
Type inference is an accessable example of SOTA automated reasoning if you want a more realistic idea of what our current constraints are.
We will be restricted to Human assisted Turing machines for the foreseeable future unless there is a major development in pure math.
Remember we can't even build a logically consistent model of arithmetic due to Gödel.