Bletchley Park was, famously, the English country house location that doubled as a center for Allied code-breaking efforts during World War II. It was at Bletchley where a brilliant team of code-breakers, among them computer pioneer Alan Turing, helped decipher enemy codes, which ultimately helped bring the war to a faster conclusion.
On Tuesday, Facebook announced a donation of $1.3 million (1 million British pounds) to the Bletchley Park Trust, providing vital funds that will allow the site of exceptional historical importance to remain open. Like many places, Bletchley has been hit hard by the coronavirus pandemic, which caused its closure for several months this year.
Although artificial intelligence was not officially formed as a discipline until after Turing’s untimely death, Turing was the “father” of A.I., helping to lay much of the groundwork for a field that, today, plays such an enormous role in our lives. (He is most famously referenced in A.I. through the formulation of the Turing Test, which asks participants to distinguish between a human and A.I. agent.)
“Facebook is honored to provide the support needed to help keep Bletchley Park open to the world,” Gemma Silvers, director of engineering for Facebook’s London-based abuse-detection infrastructure team, told Digital Trends. “There are a few direct connections between
Turing, Silvers said, also defined the field of program correctness, which has a big impact on the testing and verification of code as a whole. Recently, for instance, Facebook research scientist and University College London professor Peter O’Hearn developed new theories about program correctness and incorrectness that were partly inspired by Turing’s work. Those theories were applied during the development of Infer, an open source tool used by