AI

AI has a carbon problem. It also has a paperwork problem. The carbon problem is familiar enough: models require chips, chips require factories, data centers require power, and “cloud” remains one of technology’s more successful euphemisms for buildings full of hot machines. The paperwork problem is quieter. If organizations want to measure environmental impact seriously, they need Life Cycle Assessment, or LCA: the discipline of tracking environmental burdens across extraction, production, use, and end-of-life. That work depends on fragmented studies, sector-specific data, inconsistent terminology, and long technical reports written in the dialect of people who enjoy appendices. ...

Simulation has a bad habit: it becomes realistic just when it becomes too expensive to run. A simple market model can treat everyone as the same kind of agent and still say something useful. A richer model lets agents differ by wealth, income, health, location, battery level, portfolio position, or whatever state variable the domain demands. Then someone remembers that real agents do not see the whole system. Investors see prices, not everyone’s balance sheet. Households see wages and interest rates, not the full wealth distribution. Drivers see traffic signals and congestion, not the hidden intention of every other driver. ...

Search fails in a very ordinary way. A lawyer looks for a clause without remembering the exact wording. A finance analyst searches a prospectus for an operating-profit statement, but types only the economic idea. A compliance officer remembers a person’s role, not the sentence where the role was declared. The system returns either too much, too little, or the wrong thing wearing the right keywords. Everyone then calls it “semantic search,” because apparently disappointment sounds better in Greek. ...

Voice systems have an awkward problem. They are getting better at hearing words, but words are not always the message. A customer says, “Fine.” A patient says, “I’m okay.” A caller says, “No problem.” The transcript is calm. The voice may not be. For call centers, mental-support triage, voice assistants, social robots, and compliance monitoring, that gap is not poetic. It is operational. ...

Furnace loading is not the glamorous side of artificial intelligence. No one gives a keynote about choosing which pile of titanium scrap should enter an induction furnace. Which is precisely why it is useful. The paper Enterprise Resource Planning Using Multi-type Transformers in Ferro-Titanium Industry applies a Multi-Type Transformer, or MTT, to two classic combinatorial optimization problems: the Knapsack Problem (KP) and the Job-Shop Scheduling Problem (JSP). It then pushes the method into a real manufacturing allocation case: selecting raw materials for a ferro-titanium furnace batch.1 ...

A delayed train is easy to complain about and surprisingly hard to explain. The passenger sees one number: five minutes late, twelve minutes late, cancelled, chaos. The operator sees a messier object. Was the train already late when it entered the station? Did the station itself add delay? Was the delay caused by snow, low visibility, wind, passenger boarding, a single-track bottleneck, equipment failure, or simply the accumulated sins of every previous station on the route? ...

Drawer. That is the easy part. A model sees a drawer, and it knows that drawers are often opened. Then it watches a video where someone is closing the drawer and predicts opening anyway. This is not the kind of error that makes a demo look silly for five seconds and then disappear into the benchmark appendix. It is the kind of error that reveals what the system is really using as evidence. The model is not necessarily watching the motion. It may be recognizing the object, remembering the most common verb attached to that object during training, and calling that “video understanding.” Very efficient. Also wrong. ...

A picture lies differently from a sentence. A sentence can be checked against a source. A picture can be old, cropped, staged, reused, mislabeled, emotionally loaded, or paired with a claim it never supported. This is why climate disinformation is annoying in the precise technical sense: it often does not need to fabricate a new fact. It can simply attach a real-looking image to a slippery claim and let the audience do the rest. Very efficient. Very human. Very platform-native. ...

A theorem prover is a terrible place to let an LLM improvise Code review is forgiving compared with theorem proving. In ordinary software, a language model can produce code that looks clean, passes a few tests, and still hides a slow-burning defect somewhere behind an edge case. Annoying, yes. Catastrophic, sometimes. But the social contract is familiar: tests catch some errors, humans catch others, production catches the rest. Very elegant. Very modern. Very expensive. ...

Crosswalks look simple from a spreadsheet. A pedestrian either crosses at the intersection or crosses mid-block. The model sees age group, gender, lane count, lighting, weather, signal timing, maybe a bus stop nearby, and then predicts the choice. Very civilized. Very tabular. Very likely to fail when the same logic is moved to a different road. ...