September 5, 2026

Mathematical neutrality does not exist

An algorithm can apply the same rule to everyone and still produce unequal outcomes if the underlying data already reflects inequalities. For example, if it rewards speed without considering dangerous areas, traffic, weather, disability, family caregiving responsibilities, or unequal access to vehicles and connectivity. Mathemati

September 5, 2026

AI Doesn't Just Replace Jobs: It Can Also Derail Your Career

The public debate usually stops at “AI will replace jobs” or “AI will create jobs.” But a job is a bundle of tasks, responsibilities, relationships, and learning. The first thing to change is usually not the job title: it is the content of the workday. And it can change in an uncomfortable way. Think of someone

September 5, 2026

Lean: Mathematics' Most Literal-Minded Colleague

Lean is the most literal-minded colleague imaginable. If a definition contains an ambiguity, it points it out. If you invoke a theorem, it requires the object type and every hypothesis to match. If an inference seems obvious but is not stated, it will not proceed. And that is where one of this story's most powerful theses emerges: formaliz

September 5, 2026

Banning AI Can Make the Problem Worse

Many organizations' first instinct is to ban everything. That has an understandable logic. If you do not know what is coming in and going out, you close the door. Yes, but that solution can fail for a very human reason: banning a useful tool does not necessarily eliminate the need it met. In fact, it ca