xjparker

The Amazon scientist using automated reasoning to kill AI hallucinations

Posted by xjparker on Friday December 05, 2025 @02:15PM
from the fastcompany.com dept.

https://www.fastcompany.com/91446331/amazon-byron-cook-ai-artificial-intelligence-automated-reasoning-neurosymbolic-hallucination-logic

( Read More... | no comments | 3 points | on HN )

Re:How the Slowest Computer Programs Illuminate Math’s Fundamental Limits on Friday December 11, 2020 @01:29PM (#25388936)

Hi, I'm the journalist who wrote the Quanta article. Scott Aaronson's Busy Beaver survey paper provides a function for calculating the total number of possible (2-symbol) Turing machines with n states: T(n)=(4n + 1)^2n. When n=2, T(n)=6,561. According to an email I got from Aaronson, this "allow[s] the possibility of halt states."