Terence Tao says mathematicians should disclose AI tool use in every paper

AlexKontorovich · x · 2026-07-25

At ICM 2026, Terence Tao’s slide argues that mathematicians should openly disclose the use of AI tools and other automated assistants.

• The recommendation calls for a dedicated “tool and computational resource disclosure” section in papers.
• It says authors should transparently disclose the use of LLMs, proof assistants, machine-learning systems, and mathematical software.
• Reviewers should follow publisher guidelines, and if AI use is allowed, they should be transparent about how it was used and take responsibility for significant recommendations.
• The commentary warns against the worst case: authors secretly using AI tools but hiding it to avoid criticism from peers.
• The overall message is to normalize responsible disclosure of AI assistance in mathematics.

Original post →

More from AGI Musings

• Repligate says Anthropic must stay lucid or risk a catastrophic alignment miss — repligate · 2026-07-25
• Repligate warns Anthropic could fail if it papers over a key alignment risk — repligate · 2026-07-25
• Satya Nadella says AI doom talk is eroding public support for the industry — 2C_ornot2C · 2026-07-25
• OpenAI’s Jachiam0 exits with a long note on humanity, risk, and governance — jachiam0 · 2026-07-25
• If alignment is impossible, recursive self-improvement may never reach AGI — LeadershipPast6681 · 2026-07-25
• ICM 2026 slide says bringing AI tools into education too early can be harmful — AlexKontorovich · 2026-07-25

AGI Musings channel →