Development

Sixteen mathematicians publish a declaration on AI and mathematics

development2026-06-03

Claim

Sixteen mathematicians backed by the International Mathematical Union published the Leiden Declaration on AI and Mathematics, asking the field to disclose AI use and keep humans accountable for correctness, weeks after a model disproved an 80-year-old Erdős conjecture.

Reporting date: 2026-06-03 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to June 3, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

Reported in

Welcome to June 3, 2026

Actor

International Mathematical Union

Evidence for

Supersedes

Humans disprove a conjecture using methods lifted from an AI proof

Referenced by

Cite or correct this record

Citation formatCitation text

Sixteen mathematicians publish a declaration on AI and mathematics
Innermost Loop KB — secondary record
Reporting date: 2026-06-03
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-06-03-the-leiden-declaration
Claim: Sixteen mathematicians backed by the International Mathematical Union published the Leiden Declaration on AI and Mathematics, asking the field to disclose AI use and keep humans accountable for correctness, weeks after a model disproved an 80-year-old Erdős conjecture.
Attributed sources:
- Welcome to June 3, 2026 — https://theinnermostloop.substack.com/p/welcome-to-june-3-2026
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.