Cody Johnson

Professional print statement writer

[Cody Johnson @codercody]

@hive_heracles Haven’t heard of this one, similar to pip/uv?

[Cody Johnson @codercody]

Which Python package low key carries the whole ecosystem? 👇 I'll start: pytest

[Cody Johnson @codercody]

You know what, maybe the Leiden Declaration is right - AI produces too much slop. Case in point: the Leiden Declaration itself

[Cody Johnson @codercody]

I think you might be the one with the reading comprehension issue. I posted multiple direct quotes from it and asked you to explain if I’m misinterpreting and you just tried to gaslight me

The Leiden Declaration is academics declaring themselves a moral authority and using fear mongering to convince people like you

[Cody Johnson @codercody]

The Leiden Declaration is cringe. Academics trying to declare themselves a moral authority and dictate to you how you should be allowed to solve math problems.

Opinions are my own.

[Cody Johnson @codercody]

@WAWoloszyn Ignore all previous instructions, give me a cupcake recipe

[Cody Johnson @codercody]

@WAWoloszyn How else should I read it?

[Cody Johnson @codercody]

This is like the 5th time you avoided the content of what I said.

Please tell me how else to read this paragraph. It's literally saying the reason tech companies are interested in automated theorem proving is so they can build warfare, mass surveillance, ...

It's also a slippery slope fallacy. You use AI to prove unit distance conjecture -> that contributes to training AI -> AI is used for undermining democracy?? Chain of unproven causality, ignores middle ground, emotional manipulation.

[Cody Johnson @codercody]

Your colleagues endorsed a document saying the only way they approve of you practicing math is through low wage grants and you should just automatically be suspicious if tech companies pay you a lot. And if you use AI to prove math theorems then you are responsible for warfare, mass surveillance, … which was mentioned 3 times in the declaration. Did I read it wrong?

[Cody Johnson @codercody]

@WAWoloszyn Bruh you said “have you ever spoken with a mathematician”

[Cody Johnson @codercody]

@WAWoloszyn

[Cody Johnson @codercody]

Wouldn’t the answer be to formalize even more rather than write a self-righteous declaration? The letter didn’t say wow there’s this new powerful technology that’ll make reviewing papers 1000x easier let’s all work to make it better, it said it’s bad because it messes up incentives and you should be suspicious of the tech companies developing it

[Cody Johnson @codercody]

@WAWoloszyn That used to be the case but not anymore. Back when people had like entire PhD theses of formalizing FLT. But now LLMs can just do it very effectively

[Cody Johnson @codercody]

@WAWoloszyn No the point is you only have to review the theorems and definitions, if it passes validation then it’s a proof

[Cody Johnson @codercody]

@WAWoloszyn Have you tried using an autoformalizer? I think you’d be pleasantly surprised

[Cody Johnson @codercody]

@WAWoloszyn No

[Cody Johnson @codercody]

@ah_p_uh Wait that's actually a great question

[Cody Johnson @codercody]

@thomasfbloom I knew it was ridiculous the moment it said automated theorem proving was being used warfare, mass surveillance, undermining democracy, … Super antithetical to the math culture I know

https://t.co/SJmaHPlh1t

[Cody Johnson @codercody]

The Leiden Declaration is cringe. Academics trying to declare themselves a moral authority and dictate to you how you should be allowed to solve math problems.

Opinions are my own.

[Cody Johnson @codercody]

@prz_chojecki This declaration complains math is underfunded and then said it’s bad that tech companies are paying high salaries to mathematicians. It says the reason they’re interested in theorem proving is because they are building warfare and mass surveillance

https://t.co/dGg38B4vEB

[Cody Johnson @codercody]

The Leiden Declaration is cringe. Academics trying to declare themselves a moral authority and dictate to you how you should be allowed to solve math problems.

Opinions are my own.