Terence Tao is a mathematician and member of the American Academy of Arts and Sciences
How media typically covers Terence Tao
Based on 22 scored articles
Terence Tao as author
“Author of "Terence Tao Doubts That Anything Resembling Genuine "Artificial General Intelligence" Is Within Reac" in Mastodon”
“Author of "AI Assistance Is Now Becoming Routine Over at the Erdos Problem Website" in Mastodon”
Directly quoted in these articles
The Pentagon's demand for blanket AI approval from companies like Anthropic without transparency, combined with threats to label them supply chain risks, creates dangerous misalignments over military AI use policies including autonomous weapons and domestic surveillance.
“Quoted on AI capabilities in mathematics relative to human experts”
Referenced in coverage
“Guest post author on Advisory Group recommendations for AI-generated mathematical output release practices.”
“Called the solution of Navier-Stokes by AI the end of 'the age of heroes' in mathematics.”
“Chairs the Association for Human Mathematics and called for a boycott of OpenAI after it released over 700 AI-generated mathematical proofs.”
“Renowned mathematician who wrote about Math 2.0 and how AI is disrupting mathematics through proof abundance and enabling new experimental mathematics approaches.”
“Tao vocally criticized OpenAI and other frontier AI labs for the insane pace of their AI-generated mathematical results.”
“Co-founded SAIR, a non-profit supporting responsible AI use in science and mathematics, and announced open models initiative for math.”
“Fields Medal winner (2006) co-signing a statement about severe misalignment between AI capabilities and mathematics' deeper goals of understanding.”
“Demonstrated how domain expertise enables better use of LLMs through sophisticated mathematical conversations with ChatGPT.”
“UCLA mathematician and one of the world's most influential living mathematicians who collaborated on Erdős problems via the website.”
“Leading mathematician who gave lecture discussing AI's role in mathematics, distinguishing between solving open problems and building theory.”
“Tao turned to AI to help understand solutions to open problems in mathematics, exemplifying how leading mathematicians are leveraging AI capabilities.”
“Reviewed Levent Alpöge's discovery of a counterexample to the Jacobian conjecture and used ChatGPT to discuss and confirm calculations.”
“Used AI coding agents to port his 1999 Java applets to modern JavaScript, successfully restoring mathematical visualization tools with agent assistance.”
“Called GPT-5.2 Pro solving Erdős problem #281 perhaps the most unambiguous instance of LLM solving an open math problem; warned against reading too much into headlines about AI math success.”
“Commented on Erdős Problems forum that GPT-5.4 Pro's solution to an open math problem revealed a previously undescribed connection between integer anatomy and Markov process theory.”
“Quoted as endorsing Lean programming language for formally verified code.”
Recent AI tools have autonomously solved several Erdos problems, but investigation reveals they were previously solved in obscure literature, suggesting AI now targets the lowest-hanging fruit amenable to standard mathematical techniques.
“Commented on AI tools solving Erdos mathematical problems autonomously, noting many had already been solved in the literature.”