Lean4: How the theorem prover works and why it’s the new competitive edge in AI
Large language models (LLMs) have astounded the world with their capabilities, yet they remain plagued by unpredictability and hallucinations – confidently outputting...
Microsoft’s Fara-7B is a computer-use AI agent that rivals GPT-4o and works directly on your PC
Microsoft has introduced Fara-7B, a new 7-billion parameter model designed to act as a Computer Use Agent (CUA) capable of performing complex tasks directly on a user’s...
How to avoid becoming an “AI-first” company with zero real AI usage
Remember the first time you heard your company was going AI-first?
Maybe it came through an all-hands that felt different from the others. The CEO said, “By Q3, every...
The Download: how to fix a tractor, and living among conspiracy theorists
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology.
Meet the man building a starter...
The State of AI: Chatbot companions and the future of our privacy
Welcome back to The State of AI, a new collaboration between the Financial Times and MIT Technology Review. Every Monday, writers from both publications debate one...
Monday’s AI News Roundup // 24 November 2025
Happy Monday,
Below you’ll find a quick overview of what’s been happening in the AI industry since our last newsletter. I hope you find it interesting!
As always, I’ve...