{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-09-24-iciam-statement-mathematics-ai/","md":"https://postcutoff.com/e/2026-09-24-iciam-statement-mathematics-ai/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-09-24-iciam-statement-mathematics-ai","date":"2026-09-24","date_precision":"day","short_title":"ICIAM issues a Statement on Mathematics and Artificial Intelligence","deck":"LMS had commented on the Navier–Stokes episode","takeaway":"On 24 Sep 2026 the International Council for Industrial and Applied Mathematics (ICIAM) published a Statement on Mathematics and AI, with a short and a long version.","category":"policy-safety","category_label":"Policy & safety","importance":2,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":[{"n":1,"title":"ICIAM: Statement on Mathematics and Artificial Intelligence","url":"https://iciam.org/news/26/9/24/iciam-statement-mathematics-and-artificial-intelligence","type":"official","group":"primary","domain":"iciam.org"},{"n":2,"title":"ICIAM statement, full version (PDF)","url":"https://iciam.org/sites/default/files/2026-09/iciam%20statement_mathematics%20and%20ai_1.pdf","type":"official","group":"primary","domain":"iciam.org"},{"n":3,"title":"London Mathematical Society: statement on the Navier–Stokes equations developments","url":"https://www.lms.ac.uk/news/navier-stokes-equations-breakthrough","type":"official","group":"primary","domain":"lms.ac.uk"},{"n":4,"title":"Terence Tao: ICIAM statement on mathematics and artificial intelligence","url":"https://terrytao.wordpress.com/2026/09/25/iciam-statement-on-mathematics-and-artificial-intelligence/","type":"discussion","group":"reactions","domain":"terrytao.wordpress.com"}],"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["ICIAM","London Mathematical Society"],"title":"ICIAM issues a Statement on Mathematics and Artificial Intelligence; LMS had commented on the Navier–Stokes episode","summary":"On 24 Sep 2026 the International Council for Industrial and Applied Mathematics (ICIAM) published a Statement on Mathematics and AI, with a short and a long version. It holds that \"understanding, validation, reliability, attribution and human judgement remain essential\" and that mathematics must help shape AI governance and verification standards. The long version cites a 9 Sep London Mathematical Society statement on the Navier–Stokes developments.","key_facts":["Five points: AI accelerates discovery but its failures matter as much as successes; mathematics underpins AI trustworthiness (stability, error control, validation); computational maths complements AI; collaboration of human insight, maths, data and AI; the community must shape AI governance, verification standards and equitable access","Quote: 'AI can accelerate discovery. Mathematics can provide understanding and trust.'","LMS statement (9 Sep 2026): 'mathematics advances through people asking profound questions, developing new ideas… building knowledge collectively across generations'","Tao (25 Sep) notes it 'makes many points echoing several already made recently'"],"key_numbers":[],"tags":["math","research-culture","institutional-statement","navier-stokes","applied-math"],"science":null,"body_md":"## What happened\n\nAfter the grassroots Leiden Declaration, the Fields Medallists' statement and the Royal Society Fellows' letter, the applied-mathematics umbrella body ICIAM issued its own position. It is more measured and focuses on validation, attribution and mathematics' role in making AI trustworthy.\n\n## Why it matters\n\nIt shows that the September 2026 controversies reached formal institutional positions across the international mathematical societies.","disputed":[],"related":[{"id":"2026-09-11-fields-medalists-letter-ai-mathematics","url":"https://postcutoff.com/e/2026-09-11-fields-medalists-letter-ai-mathematics/","date":"2026-09-11","date_precision":"day","short_title":"Fields Medallists' open letter 'A Severe Misalignment of AI in Mathematics' criticises labs' race for famous problems","deck":null,"takeaway":"It marked open tension between AI labs and the mathematical community at the moment AI began producing major results, and shaped norms for credit and verification.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":3,"filed":"2026-09-29","updated":"2026-10-07","orgs":["mathandai.org"]},{"id":"2026-09-08-openai-navier-stokes-blowup","url":"https://postcutoff.com/e/2026-09-08-openai-navier-stokes-blowup/","date":"2026-09-08","date_precision":"day","short_title":"OpenAI claims a Millennium Prize problem","deck":"10,000 AI agents prove forced Navier–Stokes blow-up; priority dispute erupts","takeaway":"It is the first credible AI claim on a Clay Millennium Prize problem, even if only a technically permitted variant.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"disputed","labels":["Disputed"]},"sources":42,"official":4,"filed":"2026-09-29","updated":"2026-10-29","orgs":["OpenAI"]},{"id":"2026-06-02-leiden-declaration-ai-mathematics","url":"https://postcutoff.com/e/2026-06-02-leiden-declaration-ai-mathematics/","date":"2026-06-02","date_precision":"day","short_title":"Leiden Declaration on Artificial Intelligence and Mathematics sets community norms for AI in maths (4,000+ signatories)","deck":null,"takeaway":"It is the broadest grassroots statement of mathematicians' norms on AI: disclosure, attribution, integrity of proof, and independence from industry.","category":"policy-safety","category_label":"Policy & safety","importance":3,"confidence":"medium","status":{"key":"partly","labels":["Partly confirmed"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Lorentz Center","International Mathematical Union"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"}],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-09-29","type":"filed","text":"Created. The LMS statement was read only through a fetch summary; its full wording is not verified here"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-29","run":null,"sources_read":"The LMS statement was read only through a fetch summary; its full wording is not verified here","updated":"2026-09-29","human_review":null,"version":{"date":"2026-10-04"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":147,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":86,"in_training_data":false},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":177,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":116,"in_training_data":false}],"short_url":null}