Mathematician Terence Tao developed an interactive web app that visualizes the logical flow of mathematical papers using JSON dependency files, leveraging large language models to generate diagrams fo…
A comparison of coding agents Claude Code and OpenCode revealed a 26,000-token overhead gap per call, shifting focus from model capability to token cost as the key metric. Meanwhile, the U.S. Commerce…
A blog post proposes designing programming languages specifically for LLMs by adding extreme friction and guardrails that humans would find intolerable, such as forbidding variable shadowing, enforcin…
Fields Medal winner Terence Tao used an AI coding agent to port 24 Java 1.0 math visualization applets from 1999 to JavaScript in hours, and the agent discovered two bugs in his original code that had…
Mathematician Terence Tao used an AI coding agent to port his old Java applets to JavaScript, making them functional again after years of obsolescence, and also created new visualization tools for spe…
Terence Tao, a renowned mathematician, has released a promotional video for OpenAI, highlighting the company's advancements in artificial intelligence. The video features Tao discussing the potential …
Mathematician Terence Tao argues that artificial intelligence could introduce division of labor to mathematics for the first time, transforming the field from solitary genius-driven work into large, A…