9 articles
Index of editorial tags and filtered coverage.
Engineer Carter Church used GPT-6 Astra to fully read a coded letter from March 1809 addressed to General Auguste de Marmont that had gone unread for 217 years; Satoshi Tomokiyo's Cryptiana repository now lists it as solved after reviewing the solution.
British government cuts (Lighthill report) and DARPA pullbacks chilled AI after oversized 1960s expectations.
The 1956 Dartmouth workshop, proposed by John McCarthy and colleagues, coined “artificial intelligence” and launched the field.
Kurt Gödel’s incompleteness theorems showed that no sufficiently rich formal system can capture all arithmetic truth.
David Hilbert asked whether a finite procedure can decide any mathematical statement; the negative answer opened computability theory.
In 1843, Ada Lovelace described an algorithm for Babbage’s machine and distinguished numeric calculation from symbol manipulation.
In 1854, George Boole published The Laws of Thought, turning logic into an algebra that underpins circuits and digital computing.
In the 17th–18th centuries, Leibniz imagined a universal language and a calculus of reasoning that anticipate symbolic AI.
Aristotle’s 4th-century BCE syllogistic logic supplied formal inference rules that later inspired automated reasoning.