Jim, Could you keep P=NP discussion off this list? There are plenty of powerful SAT solvers already, so if there is a path towards AGI that needs a SAT solver, they can be used in at least small-scale prototypes, and thus the absence of scalable SAT solver is not a bottleneck at the moment. P=NP can have profound implication on other issues, but it's hardly specifically relevant for AGI. If your interest lies in AI, P=NP is not the way, and if your interest lies in P=NP, AGI is irrelevant.
-- Vladimir Nesov [EMAIL PROTECTED] ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=98558129-0bdb63 Powered by Listbox: http://www.listbox.com