xjparker

3 ms·

1. 1.▲
   The Amazon scientist using automated reasoning to kill AI hallucinations(fastcompany.com)

   3 points by xjparker 10mo ago|0 comments
2. 2.▲
   by xjparker 6y ago

   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,