Read the declaration and add your name.
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
A Severe Misalignment of AI in Mathematics
I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. By Jarod Alper
Mathematical methods and human thought in the age of AI
Artificial intelligence (AI) is the name popularly given to a broad spectrum of computer tools designed to perform increasingly complex cognitive tasks, including many that used to solely be the...
The AI Revolution in Math Has Arrived | Quanta Magazine
AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.
Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazine
Mathematicians have started to prepare for a profound shift in what it means to do mathematics.
Ali Alkhatib: Defining AI
The main issue I have with a lot of work that tries to define AI is that the criteria they use to draw boundaries often turn out to be functionally useless for my needs; these definitions lead us to weird places, letting scholars fixate on strange, unworkable frameworks. Those pedantic fixations don’t really benefit the organizers, activists, regular people who are getting crushed by the systems they’re trying to work against. So I’m going to try to unpack how I think about AI; how I trace the boundaries of the term in a way that’s as useful as possible for me and my needs; and how I would encourage you to scope or define ideas that are important to your work.
Promoting Advanced Artificial Intelligence Innovation and Security
By the authority vested in me as President by the Constitution and the laws of the United States of America, it is hereby ordered: Section 1. Purpose.
#158: Build your AI Brain
How I built a second brain that gets smarter every day
AI Ethics Class
God Damn AI is making me dumb
It's so god damn tempting to use AI to write. Whether it is articles, code, or documents. I feel like using AI is diminishing my ability to write myself. ...
