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…
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…