Fields Medalist Terence Tao told the International Congress of Mathematicians 2026 that if authors cannot deliver a clear, expert-level talk on their own math results, those proofs should not be publi…
Terence Tao shared a ChatGPT session on the Jacobian Conjecture that went viral, while U.S. Representatives Ted Lieu and Nathaniel Moran introduced the AI Kill Switch Act, which would impose $20M-per-…
Domain expertise is the most important skill for prompting large language models (LLMs), not generic prompting techniques, according to software engineer Sean Goedecke. Goedecke cites mathematician Te…
Professor Terence Tao, in the 2026 EMS Lecture Series on Mathematics Education, warned that unrestricted AI use by university students can cause deskilling, learned helplessness, loss of cognitive div…
A researcher using OpenAI GPT-5.6 Sol claims to have solved six open Erdős problems in five days, with a roughly 46% success rate across 13 attempted problems. The solver attributed the results to car…
On 2026-07-22, ChatGPT and Claude generated counterexamples to open conjectures associated with Erdős and Grothendieck, with some verified in Lean, the formal proof language. Terence Tao published a p…
Software developers using AI tools like Claude Code are experiencing a rapid transformation of their work, with tasks that once took days now completed in hours, leading to a collapse of traditional r…
Mathematician Terence Tao used an LLM coding agent to create two new visualization apps, one illustrating the zeta process from his recent paper on primitive sets and von Mangoldt chains, and another …
Terence Tao, Chase, and Hunter have published a paper on the Gilbreath conjecture, introducing the "Gilbreath expectation sequence" and providing both exact theoretical values and Monte Carlo simulati…
Mathematician Terence Tao released a web app that visualizes the logical flow of mathematical papers as interactive diagrams, using a JSON format to represent dependencies between theorem objects. The…
A Hacker News comparison on 2026-07-13 revealed a 26,000-token gap between coding agents Claude Code (33,000 tokens overhead) and OpenCode (7,000 tokens overhead), shifting focus from model capability…
A February 22, 2026 post argues that programming languages should be redesigned for LLMs by adding extreme guardrails that humans would find intolerable, such as forbidding variable shadowing, enforci…
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 the 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…
On the 250th anniversary of the Declaration of Independence, the United States faces a new alignment problem: how to safely coexist with AI superintelligence that may surpass human intelligence within…
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…