Terence Tao Archives - LT Tech Blog

AI & Machine Learning GenAI (models, assistants)

AI Solves Erdős Problem #728, Terence Tao Reports on Mathstodon

TL;DR Terence Tao reported that AI tools — including ChatGPT, Aristotle and the Lean proof assistant — produced a solution…

January 9, 2026

You missed

DevTools Product launches

Librario: an open-source book metadata API aggregating multiple sources

January 11, 2026

DevTools GenAI (models, assistants)

GlyphLang: an AI-first programming language designed for LLM tokenization

January 11, 2026

Cloud & Dev Product launches

Code and Let Live — Persistent ‘Sprites’ Replace Ephemeral Sandboxes

January 10, 2026

Explainers How it works

Org Mode Syntax: A Practical, Consistent Lightweight Markup for Text

January 10, 2026