For example it's extremely easy to prove there is no square with diagonals of different lengths. I'm the hard end, Andrew Wiles proved Fermat's Last Theorem which expresses a negative.

That's just a nit though, you're right about the infinite regress problem.

The real question is whether someone who is pseudonymous and actually attempting to remain so can be deanonymized.

(*Disclaimer: I work for Google, but also I have zero idea about what they trained deepthink on)

On top of that, there's a huge asymmetry when people use AI to spit out huge PRs and expect thorough review from project maintainers. Of course they're not going to review your PR!

This doesn't have an explicit diffusion tie in, but Savinov et al. at DeepMind figured out that doing two steps at training time and randomizing the masking probability is enough to get it to work reasonably well.

Edit: Oh assuming this is an estimate based on the model weights moving fromm HBM to SRAM, that's not how transformers are applied to input tokens. You only have to do move the weights for every token during generation, not during "prefill". (And actually during generation you can use speculative decoding to do better than this roofline anyways).

That's fair, and I'm not sure of course. I guess a more interesting question would be what if there was another option based on what I described. I do know that this is a conversation that we explicitly had in my department many times. It's was an open secret that cheating was rampant, and a degree from that CS department isn't very prestigious. Those two things aren't unrelated.

To your point about a single class giving all A's not damaging it, you're right of course. My point is that this is a classic tragedy of the commons. One plane flight, extra datacenter etc. isn't moving the needle on climate change, but all put together it does.

> If that were the case, the people protesting student Lian forgiveness should be at tge forefront of demanding increased coverage for Medicare and better social security systems in general

I agree, but my response is simple: I don't think either major party in the US has a principled stance on economic issues. There is wild fluctuation in behavior on an issue-to-issue basis. The fact that most students/political parties/people in the universe don't have a coherent set of princples shouldn't stop us from trying to have them!

Imagine there are two schools, one gives all students a 95% in all their classes, one grades normally. Which school do you interview people from? When a teacher gives out free A's (or when students cheat), it's not a victimless change, it degrades a shared resource (the credibility of the school).

The loan forgiveness thing is not a free action, it is a handout of money to a specific demographic (college graduates), and in particular one that is much more affluent than the people who need government subsidies the most.The government handing out money is not a free action!