Aristotle (AI) Archives - LT Tech Blog

GenAI (models, assistants) OpenAI / Anthropic / xAI

AI-assisted solution addresses Erdős Problem #728, with Lean verification

TL;DR Terence Tao reports that an instance of Erdős Problem #728 was resolved largely by AI tools after iterative feedback…

January 10, 2026

You missed

M&A Policy / Compliance

Study: Private equity bought over 500 U.S. autism therapy centers in 10 years

January 11, 2026

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