Chinese and English archive texts include AI-assisted translations, not independently human-reviewed. Consult the original-language sources alongside them.
IMU
Read original source (EN)https://www.mathunion.org/imu-news/archive/2024/imu-news-127-september-2024
Reading location
Lines 41–78: Ilka Agricola's workshop retrospective, especially topic 5 on AI and proof assistants.
Retrospective in the September 2024 issue; exact publication date unverified. AI and proof assistants are an open discussion of benefits and risks, not an anti-AI resolution. Copyright, mathematical-community control over publishing infrastructure and librarians' occupational risks are parallel concerns, not all AI effects. Video not watched; direct causation of the 2026 Leiden Declaration cannot be asserted.
Capture status
No verified capture is recorded. The original page may change; an access date is not a historical version date.
Events citing this source
No displayed event currently cites this source.
Cite this record
ANTI-AI ARCHIVE. “IMU News 127: September 2024 — Report on the MPS Workshop on Perspectives on Electronic Information & Communication in the Mathematical Sciences.” src-0344. Include this page’s URL and your access date when citing.