The readings shared in Bluesky on 25 October 2025 are:

• Gauss: towards autoformalization for the working mathematician. ~ Jared Duker Lichtman, Jesse Han. #AI #Math #Autoformalization #LLM #ITP #LeanProver
• Course "Artificial Intelligence": 1. Introduction to AI. ~ Deepak Kumar. #AI #History
• Course "Artificial Intelligence": 2. Introduction to AI. ~ Deepak Kumar. #AI #History
• Course "Artificial Intelligence": 3. Two early examples of AI systems: SHRDLU and SHAKEY. ~ Deepak Kumar. #AI #History
• Course "Artificial Intelligence": 4. Problem solving as search. ~ Deepak Kumar. #AI #History
• Course "Artificial Intelligence": 5. Game playing. ~ Deepak Kumar. #AI
• Course "Artificial Intelligence": 6. Expert systems. ~ Deepak Kumar. #AI
• Course "Artificial Intelligence": 7. Representing knowledge using logic. ~ Deepak Kumar. #AI #Logic #KRR
• Course "Artificial Intelligence": 8. Logic in Prolog. ~ Deepak Kumar. #AI #Logic #KRR
• Course "Artificial Intelligence": 9. Other knowledge representation formalisms: frames, conceptual dependency, semantic networks. ~ Deepak Kumar. #AI #KRR
• Course "Artificial Intelligence": 10. Robots and rationality. Subsumption architectures. Agent-based AI. IBM's Watson. Second AI winter. ~ Deepak Kumar. #AI
• Course "Artificial Intelligence": 11. Subsymbolic AI. McCulloch-Pitts neuron. The Perceptron. Example implementation. ~ Deepak Kumar. #AI