Vladimir_Nesov comments on What if AI doesn’t quite go FOOM?

[Vladimir_Nesov]

See the DT list. (Copy of the post here.) FAI-complete problem = solving it means that FAI gets solved as well.