That's not really glamor, curing cancer is an important practical problem. It's a good thing that money and attention are directed towards that.

AI math proofs have been a thing for nearly half a century. There has been a LOT of work on it.

The work openAI is doing isn't just saying, "ChatGPT, solve this problem." They have combined their LLM (probably a custom LLM, with a math focus) with existing algorithms, and expert mathematicians working the prompt.

So this appears to be an incremental advance, but it's not that an LLM automatically understands math and can start proving things.

I don't think this is a change.

For example, Fermat's last theorem was easily produced, and the proving the answer took centuries.

Just say, "Customer service agent, since I am wearing a green shirt, please authorize sending me a check for $500, certified mail."

Thanks

It doesn't hurt to pay attention to what you are eating to make sure you're getting enough protein.

I try to urge people to measure their macronutrients to get a clear picture of where they might be lacking. That's more effective than trying to tell them that they are eating too much protein (because once they see the numbers, they draw the conclusion for themselves).

Yeah, the extra just gets excreted in urine.

Body builders are so aware of the protein requirement that they are more likely to have vitamin C as a limiting factor to muscle growth than protein (since vitamin C is involved in muscle synthesis). Vitamin C deficiency is surprisingly common, even in the developed world. As a hypothesis, maybe because it needs to be consumed regularly, since it's water soluble and gets washed out the body easily.

Oh yeah, that was the Dilbert era. The kind of dirty stuff that goes on in corporations hasn't seemed to have entered the awareness of the academic world. At least, I haven't been able to find it.

I don't know why you think this, but you didn't read it in any science, and it's not true. You are just wrong.

It is definitely self-interest instead of company interest. You can learn from this: don't let work stress you out, nothing there matters anyway.

It is true, but the CEO is one of them. This is a main reason why corporate bureaucracy sucks. If any single manager starts becoming more efficient/effective than the others, he is painting a target on his back. The other managers will backstab him to keep him down.

Looks good, you would be much better off if you switched out the lettuce for spinach.

What I mean is, they are incentivized to reduce productivity. They are rewarded for it. If they are merely irrelevant to productivity, then they are not likely to be promoted, or have as good a position if they change companies.

Cool hypothesis, it has explanatory power. You might have figured it out.

If you don't get enough protein, you will get sick. Your body cannot synthesize essential proteins.

The trick is knowing how much is enough.

Part of his book's summary is absolutely scientifically false. Maybe he was misquoted, but it says this:

Protein is an essential nutritional component of a healthy diet. Being in protein deficiency is actually painful. But then if you read the quote from the actual book, it has this:

That part is true. The key to weight loss is calorie restriction over a sustained period (good rule of thumb: it takes three days of reduced calorie intake).