The system is composed of about 16 million lines of C++ code, running on a "farm" of 256 2.8GHz Pentium 4 machines interconnected via a prototype 700F Megabit ATM network developed by IntraLink Solutions. The underlying quadratic neural network has been training on Usenet, Web, LiveJournal, blogger.com and literature sources for slightly over four years; on September 17, 2003, the neural matrix surpassed 10 Terabytes in size!
Although previous versions of the system showed promising results, they required excessive computational effort and produced poor solutions for many common cases. However, in 1994 Andrej Bauer made several theoretical breakthroughs in the synthesis of Lambek calculi and connectionist search algorithms. Implementing his ideas increased the performance of the system and the quality of the solutions by many orders of magnitude. He has written a brief treatment of the work, originally published for Forum 2000, suitable for the lay person.