Edit history

Solving math proofs with AI is like doing art with AI. Pointless. In fact, it is detrimental to the discipline as a whole, because doing so means people will stop sharing work and insights with each other, which has never been the case before (at least it’s not the norm).

As discussed on MathandAI.org and elsewhere, top mathematicians “disseminate ideas in talks, private discussions and careful writeups, connecting them to the previous ideas of others. These processes invariably take time and are based on human interaction.”

AI is undermining this process, as people naturally become less willing to discuss ideas that can easily be stolen.

Solving math proofs with AI is like doing art with AI. Pointless. In fact, it is detrimental to the discipline as a whole, because doing so means people will stop sharing work and insights with each other, which has never been the case before (at least it’s not the norm).

As discussed on MathandAI.org and elsewhere, top mathematicians “disseminate ideas in talks, private discussions and careful writeups, connecting them to the previous ideas of others. These processes invariably take time and are based on human interaction.”

AI is undermining this process. People will naturally become less willing to discuss ideas that can easily be stolen.

Solving math proofs with AI is like doing art with AI. Pointless. In fact, it is detrimental to the discipline as a whole, because doing so means people will stop sharing work and insights with each other, which has never been the case before.

As discussed on Math and AI and elsewhere, top mathematicians “disseminate ideas in talks, private discussions and careful writeups, connecting them to the previous ideas of others. These processes invariably take time and are based on human interaction.”

AI is undermining this process. People will naturally become less willing to discuss ideas that can easily be stolen.

Solving math proofs with AI is like doing art with AI. Pointless. In fact, it is detrimental to the discipline as a whole, because doing so means people will stop sharing work and insights with each other, which has never been the case before.

According to a recent press release, top mathematicians “disseminate ideas in talks, private discussions and careful writeups, connecting them to the previous ideas of others. These processes invariably take time and are based on human interaction.”

AI is undermining this process. People will naturally become less willing to discuss ideas that can easily be stolen.

Solving math proofs with AI is like doing art with AI. Pointless. However, it is detrimental to the discipline as a whole. Doing so means people will stop sharing work and insights with each other, which has never been the case before.

Solving math proofs with AI is like doing art with AI. Pointless. Doing so means people will stop sharing work and insights with each other, which has never been the case before.

Solving math proofs with AI is like doing art with AI. Pointless. There are practical problems and calculations computers could solve instead, but they’re targeting the mathematical community directly to undermine the discipline as a whole. This means people will stop sharing work and insights with each other, which has never been the case before.

Solving math proofs with AI is like doing art with AI. Meaningless. There are practical problems and calculations computers could solve instead, but they’re targeting the mathematical community directly and destroy the discipline as a whole. This means people will stop sharing work and insights with each other, which has never been the case before.

Solving math proofs with an AI is like doing art with AI. There are practical problems and calculations computers could solve instead, but they’re targeting the mathematical community directly and destroy the discipline as a whole. This means people will stop sharing work and insights with each other, which has never been the case before.

Solving math proofs with an AI is like doing art with AI. There are practical problems and calculations computers could solve, but they’re ignoring those to attack the mathematical community and destroy the discipline as a whole. This means people will stop sharing work and insights with each other, which has never been the case before.

Solving math proofs with an AI is like doing art with AI. There are practical problems and calculations computers could solve, but they’re ignoring those to attack the mathematics community and destroy the discipline as a whole. This means people will stop sharing work and insights with each other, which has never before been the case.

Solving math proofs with an AI is like doing art with a robot. There are practical problems and calculations the AI could solve, but they’re ignoring those to attack the mathematics community and destroy the discipline as a whole.

This means people will stop sharing work and insights with each other, which has never before been the case.

Solving math proofs with an AI is like doing art with a robot. There are practical problems and calculations the AI could solve, but they’re ignoring those to attack the mathematics community and destroy the discipline as a whole.

This means, as mathematicians have warned, that people will stop sharing work and insights with each other, which has never before been the case, since mathematicians were collaborating and competing with each other, not against a mindless automated process.

Solving math proofs with an AI is like doing gymnastics with a robot. Completely defeats the purpose. There are practical problems the AI could solve, but they’re ignoring those to attack the mathematics community and destroy the discipline as a whole.

This means, as mathematicians have warned, that people will stop sharing work and insights with each other, which has never before been the case, since mathematicians were collaborating and competing with each other, not against a mindless automated process.

Solving math proofs with an AI is like doing gymnastics with a robot. Completely defeats the purpose. There are practical problems the AI could solve, but they’re ignoring those to attack the mathematics community and destroy the discipline as a whole.