The ability to reason about large amounts of code seems to be more a memory and computation speed problem, than a logic problem. Computers already seem to be better than humans on these counts, so it seems like they may be better at understanding large pieces of code, once we have the whole "understanding" thing solved.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.