← Back to post

Edit history

Most recent

This isn’t about individuals. We safeguard knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, describing how we are about to undermine our mathematical understanding IDIOCRACY style. (I’m paraphrasing.)

Essentially, mathematical proofs are worthless without the communities that discover them. We care about math proofs because they create these communities (safeguarding knowledge for the next generation), not vice versa.

Having ChatGPT assert a proof we lack the expertise to check defeats the purpose. Not to mention, we already know it will get things wrong because of Gödel incompleteness so this whole situation is peak irony.

Edited

This isn’t about individuals. We safeguard knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, which describes how we are about to undermine our mathematical understanding IDIOCRACY style. I’m paraphrasing.

Essentially, mathematical proofs are worthless without the communities that discover them. We care about math proofs because they create these communities (safeguarding knowledge for the next generation), not vice versa.

Having ChatGPT assert a proof we lack the expertise to check defeats the purpose. Not to mention, we already know it will get things wrong because of Gödel incompleteness so this whole situation is peak irony.

Edited

This isn’t about individuals. We safeguard knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, which describes how we are about to undermine our mathematical understanding IDIOCRACY style. I’m paraphrasing.

Essentially, mathematical proofs are worthless without the communities that discover them. We care about math proofs because they create these communities (safeguarding knowledge for the next generation), not vice versa.

Having ChatGPT assert a proof we lack the expertise to double check utterly defeats the purpose. Not to mention, we already know it will get things wrong because of Gödel incompleteness so this whole situation is peak irony.

Edited

This isn’t about individuals. We safeguard knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, which describes how we are about to undermine our mathematical understanding IDIOCRACY style. I’m paraphrasing.

Essentially, mathematical proofs are worthless without the communities that discover them. We care about math proofs because they create these communities (safeguarding knowledge for the next generation), not vice versa.

Having ChatGPT assert a proof we lack the expertise to double check utterly defeats the purpose. Not to mention, we already know it will get things wrong because of Gödel incompleteness so this whole situation we’ve gotten ourselves into is sort of idiotic.

Edited

This isn’t about individuals. We safeguard knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, which describes how we are about to undermine our mathematical understanding IDIOCRACY style. I’m paraphrasing.

Essentially, mathematical proofs are worthless without the communities that discover them. We care about math proofs because they create these communities (safeguarding knowledge for the next generation), not vice versa.

Having ChatGPT assert that something constitutes a proof but lacking the expertise to check its work totally defeats the purpose. Not to mention, we already know it will get things wrong because of Gödel incompleteness so this whole situation we’ve gotten ourselves into is sort of idiotic.

Edited

This isn’t about individuals. We safeguard knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, which describes how we are about to undermine our mathematical understanding IDIOCRACY style. I’m paraphrasing. Essentially, mathematical proofs are worthless without the communities that discover them. We care about math proofs because they create these communities (intellectually advancing humanity and safeguarding knowledge for the next generation), not vice versa.

Having ChatGPT assert that something constitutes a proof but lacking the expertise to check its work totally defeats the purpose. Not to mention, we already know it will get things wrong because of Gödel incompleteness so this whole situation we’ve gotten ourselves into is sort of idiotic.

Edited

This isn’t about individuals. We safeguard knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, which describes how we are about to undermine our mathematical understanding IDIOCRACY style. I’m paraphrasing. Essentially, mathematical proofs are worthless without the communities that discover them. We care about math proofs because they create these communities (intellectually advancing humanity and safeguarding knowledge for the next generation), not vice versa.

Having ChatGPT assert that something constitutes a proof, but lacking the mathematical acuity to check its work defeats the purpose. Not to mention, we already know it will get things wrong all the time because of Gödel incompleteness so this whole situation we’ve gotten ourselves into is sort of idiotic.

Edited

This isn’t about individuals. We safeguard knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, which describes how we are about to undermine our mathematical understanding IDIOCRACY style. I’m paraphrasing. Essentially, mathematical proofs are worthless without the communities that are required to produce them. We care about math proofs because they create these communities (intellectually advancing humanity), not vice versa.

Edited

This isn’t about individuals. We preserve knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, which describes how we are about to undermine our mathematical understanding IDIOCRACY style. I’m paraphrasing. Essentially, mathematical proofs are worthless without the communities that are required to produce them. We care about math proofs because they create these communities (intellectually advancing humanity), not vice versa.

Edited

This isn’t about individuals. We preserve knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, which describes how we are about to undermine our mathematical understanding IDIOCRACY style. I’m paraphrasing. Essentially, mathematical proofs are worthless without the communities that are required to produce them. We like proofs because they create these communities (intellectually advancing humanity), not vice versa.

Original

This isn’t about individuals. We preserve knowledge institutionally. For instance, everyone should read this open letter from the top mathematicians on the planet, which describes how we are about to undermine our mathematical understanding IDIOCRACY style. I’m paraphrasing. Essentially, proofs themselves are worthless without the communities that are required to produce them.