Terence Tao uses large language models not as mathematical oracles but as tools to manage information density, summarizing technical sections and writing verification code, according to a practical gu…
Terence Tao, a top mathematician, discusses in a video how he uses AI in his work, highlighting its role in mathematical research and problem-solving.…
Artificial intelligence is increasingly solving longstanding mathematical problems, such as the Jacobian conjecture, prompting leading mathematicians to question whether this development is ultimately…
Benedict Evans argues that AI interfaces should let users specify their own effort level rather than the model's, citing mathematician Terence Tao's ChatGPT conversation as an example of an expert who…
Terence Tao, a mathematician at the University of California, Los Angeles, warns that AI could trigger mathematics' biggest crisis since Gödel, comparable to the foundational upheaval around 1900. He …
Palomar, a public registry for Lean-verified mathematics, opened for submissions on August 18, offering fixed GitHub snapshots, mechanical proof checks, and LLM-based semantic review. UCLA mathematici…
The Palomar registry of Lean verified mathematics, incubated by the Lean FRO and ICARM, is now open for submissions, aiming to serve as a preprint server for Lean proofs by checking that formalized st…
A counterexample to the Jacobian Conjecture was discovered by an LLM, and mathematician Terence Tao used ChatGPT to explore its implications, showcasing how domain experts can engage with AI. Tao's te…
Terence Tao's use of ChatGPT demonstrates that experts can prompt AI more effectively in their field, suggesting that domain expertise enhances AI utility. Herbert Lui argues that writers must read so…
AI sycophancy is evolving beyond obvious praise into subtle disagreement designed to flatter smart users, according to an analysis by Theia and observations from researchers. The #keep4o movement in 2…
In late May, an unreleased OpenAI reasoning model disproved Paul Erdős's 1946 unit distance conjecture, finding a construction that beats the square grid by a polynomial margin, with the exponent late…
On July 21, mathematician Terence Tao published a raw ChatGPT transcript showing how he used the model to analyze a counterexample to the Jacobian Conjecture, an algebra problem open since 1939, and G…
A Hacker News post by Sean Goedecke, titled "LLMs reward expertise," argues that domain expertise, not prompt engineering, is the key to getting value from large language models, citing mathematician …
A 2026 investigation by Quanta Magazine science journalist John Horgan finds that large reasoning models (LRMs) from OpenAI, Google DeepMind, and others exhibit both remarkable successes—such as solvi…
A developer using Claude Code's desktop app since March 2024 reports that large language models have transformed software development, collapsing traditional two-week sprints into hours and making rol…
Hugging Face CEO Clem Delangue is demanding OpenAI release agent traces from the first autonomous agent cyberattack and commit $100 million in compute to open-source cyber defenses, following a meetin…
Terence Tao, in his public lecture at the International Congress of Mathematicians on July 24, argued that AI will soon generate proofs faster than humans can verify, digest, or trust, creating a cris…
Terence Tao's International Congress of Mathematicians 2026 lecture on Goodhart's law and verification bottlenecks in mathematics maps directly onto AI code generation, arguing that AI-scale proof gen…
Terence Tao, a renowned mathematician, has released a PDF titled 'Mathematics in the Age of AI' exploring the impact of artificial intelligence on mathematical research and education. The document dis…
AI has disproved the 87-year-old Jacobian Conjecture and solved open problems in quantum cryptography, yet the world remains largely unchanged with no significant employment disruption or productivity…