#leidendeclaration — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #leidendeclaration, aggregated by home.social.
-
Leiden Declaration on Artificial Intelligence and Mathematics
https://www.lms.ac.uk/news/leiden-declaration-on-ai-and-mathematics
#HackerNews #LeidenDeclaration #AI #Mathematics #Ethics #Innovation
-
Leiden Declaration on Artificial Intelligence and Mathematics
https://www.lms.ac.uk/news/leiden-declaration-on-ai-and-mathematics
#HackerNews #LeidenDeclaration #AI #Mathematics #Ethics #Innovation
-
The Leiden Declaration looks ironic.
Although it is some kind of anti-AI declaration, I highly suspect https://leidendeclaration.ai was built using AI. Those awkward social media icons match the typical flaws of AI-drawn SVGs.
They themselves advocate for "Disclose tool use", yet I found no AI usage disclosure on https://leidendeclaration.ai.
Of course, these are speculations based on observed phenomena. Without concrete evidence, no one can make it stick. But the tells are obvious.
-
The Leiden Declaration looks ironic.
Although it is some kind of anti-AI declaration, I highly suspect https://leidendeclaration.ai was built using AI. Those awkward social media icons match the typical flaws of AI-drawn SVGs.
They themselves advocate for "Disclose tool use", yet I found no AI usage disclosure on https://leidendeclaration.ai.
Of course, these are speculations based on observed phenomena. Without concrete evidence, no one can make it stick. But the tells are obvious.
-
https://winbuzzer.com/2026/06/07/leiden-declaration-warns-ai-could-strain-math-proof-xcxwbn/
Mathematicians warn in the Leiden Declaration AI proof tools could strain peer review, credit and verification.
#AI #AIResearch #AIModels #AIEthics #Mathematics #Science #LeidenDeclaration #PeerReview
-
https://winbuzzer.com/2026/06/07/leiden-declaration-warns-ai-could-strain-math-proof-xcxwbn/
Mathematicians warn in the Leiden Declaration AI proof tools could strain peer review, credit and verification.
#AI #AIResearch #AIModels #AIEthics #Mathematics #Science #LeidenDeclaration #PeerReview
-
To those who think using AI as a research and organizational tool is a cardinal sin: take a look at the Leiden Declaration on AI and Mathematics. It explicitly addresses the responsible use of these technologies, establishing that while AI must never be credited as an author or creator, its role as a disclosed computational tool is a legitimate part of modern workflows. Let's separate reactionary gatekeeping from actual ethics
-
To those who think using AI as a research and organizational tool is a cardinal sin: take a look at the Leiden Declaration on AI and Mathematics. It explicitly addresses the responsible use of these technologies, establishing that while AI must never be credited as an author or creator, its role as a disclosed computational tool is a legitimate part of modern workflows. Let's separate reactionary gatekeeping from actual ethics
-
@hackernews
8/
It reminds us that mathematics is, and should remain, a deeply human endeavor of understanding, not just an algorithmic factory for generating answers. It is a line in the sand that every academic discipline will likely have to draw eventually. -
@hackernews
8/
It reminds us that mathematics is, and should remain, a deeply human endeavor of understanding, not just an algorithmic factory for generating answers. It is a line in the sand that every academic discipline will likely have to draw eventually. -
@hackernews
7/
The Big Picture The recommendations at the end—demanding strict disclosure of tools, *treating AI explicitly as a tool rather than an author*, and calling for publicly funded computational infrastructure so researchers aren't entirely dependent on proprietary corporate servers—are incredibly practical. -
@hackernews
7/
The Big Picture The recommendations at the end—demanding strict disclosure of tools, *treating AI explicitly as a tool rather than an author*, and calling for publicly funded computational infrastructure so researchers aren't entirely dependent on proprietary corporate servers—are incredibly practical. -
@hackernews
6/
4. Loss of Research AutonomyWhen tech monopolies fund the infrastructure, they decide what questions are worth asking. The declaration warns that the focus of mathematics could subtly shift toward prioritizing questions that are easily automated or optimized by machine learning algorithms, rather than deep, conceptually significant mysteries chosen by human experts.
-
@hackernews
6/
4. Loss of Research AutonomyWhen tech monopolies fund the infrastructure, they decide what questions are worth asking. The declaration warns that the focus of mathematics could subtly shift toward prioritizing questions that are easily automated or optimized by machine learning algorithms, rather than deep, conceptually significant mysteries chosen by human experts.
-
@hackernews
5/
3. "Science by Press Release" vs. Peer Review
We are seeing a major shift where companies bypass traditional, rigorous peer evaluation in favor of market timelines. They announce a massive mathematical breakthrough via a corporate blog post or a flashy press release to pump their valuation, but wait months or a year to release the actual underlying paper or methodology for scrutiny. This fundamentally distorts how scientific consensus is built.
#AI
#mathematics
#LeidenDeclaration -
@hackernews
5/
3. "Science by Press Release" vs. Peer Review
We are seeing a major shift where companies bypass traditional, rigorous peer evaluation in favor of market timelines. They announce a massive mathematical breakthrough via a corporate blog post or a flashy press release to pump their valuation, but wait months or a year to release the actual underlying paper or methodology for scrutiny. This fundamentally distorts how scientific consensus is built.
#AI
#mathematics
#LeidenDeclaration -
@hackernews
4/
2. The Extraction of Human Capital Without CitationThe declaration rightly points out the asymmetry of AI training data. AI models scrape repositories like arXiv, consuming generations of human mathematical thought. When they output a solution, they rarely give proper attribution or citation to the human foundation they built upon. It cuts off the system of academic recognition that allows researchers' careers to exist.
-
@hackernews
4/
2. The Extraction of Human Capital Without CitationThe declaration rightly points out the asymmetry of AI training data. AI models scrape repositories like arXiv, consuming generations of human mathematical thought. When they output a solution, they rarely give proper attribution or citation to the human foundation they built upon. It cuts off the system of academic recognition that allows researchers' careers to exist.
-
@hackernews
2/
The timing is incredibly relevant, as tech giants are aggressively using high-level mathematics as the ultimate benchmark to prove "General Intelligence" or reasoning capabilities. The declaration outlines five specific core threats that aren't just academic—they jeopardize how we define human truth and knowledge: -
@hackernews
2/
The timing is incredibly relevant, as tech giants are aggressively using high-level mathematics as the ultimate benchmark to prove "General Intelligence" or reasoning capabilities. The declaration outlines five specific core threats that aren't just academic—they jeopardize how we define human truth and knowledge: -
@hackernews
1/
The Leiden Declaration on Artificial Intelligence and Mathematics hits on an incredibly vital, almost existential nerve for the scientific community. It is not an anti-technology manifesto; rather, it is a highly sophisticated, necessary pushback against the way Big Tech is currently encroaching on academic research. -
@hackernews
1/
The Leiden Declaration on Artificial Intelligence and Mathematics hits on an incredibly vital, almost existential nerve for the scientific community. It is not an anti-technology manifesto; rather, it is a highly sophisticated, necessary pushback against the way Big Tech is currently encroaching on academic research. -
Mathematicians have a new community declaration asking themselves, their organizations and funders, governments, and the AI industry to set rules around AI in math research. The Leiden Declaration, endorsed today by the International Mathematical Union, names disclosure of tool use, peer review over press releases, opt-out from training-data scraping, and withdrawal from harmful work.
#Mathematics #Ethics #Policy #LeidenDeclaration #AIForScience #AI
-
Mathematicians have a new community declaration asking themselves, their organizations and funders, governments, and the AI industry to set rules around AI in math research. The Leiden Declaration, endorsed today by the International Mathematical Union, names disclosure of tool use, peer review over press releases, opt-out from training-data scraping, and withdrawal from harmful work.
#Mathematics #Ethics #Policy #LeidenDeclaration #AIForScience #AI
-
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. It is not completely against #AI, but argues for #transparency, attribution, human authorship, #OpenScience and proper review.
The declaration is open for signing:
🌍 https://leidendeclaration.ai/
📄 https://doi.org/10.5281/zenodo.20302944 -
Mathematicians just published the Leiden Declaration on #AI and #Mathematics. It is a declaration on how #mathematical research should respond to AI, w recommendations for researchers, institutions, policymakers and industry. It is not completely against #AI, but argues for #transparency, attribution, human authorship, #OpenScience and proper review.
The declaration is open for signing:
🌍 https://leidendeclaration.ai/
📄 https://doi.org/10.5281/zenodo.20302944