Donald Knuth describes his shock and joy upon learning that Claude successfully solved an open combinatorial problem he had been researching for a future volume of The Art of Computer Programming.

https://lemmy.ml/post/44039282

Donald Knuth describes his shock and joy upon learning that Claude successfully solved an open combinatorial problem he had been researching for a future volume of The Art of Computer Programming. - Lemmy

Lemmy

An actually interesting use of artificial intelligence being able to accomplish something, when put in the hands of expert mathematicians. Definitely a lot of coaxing it back to doing the task correctly but it is pretty cool that it can solve problems (even if they are math nerd ones) in a way that are independently verifiable.

In the hands of experts these are definitely useful. I’ve always felt that.

Ai should be used to augment humans, not replace them.

Unfortunately we have idiots making decisions looking at the sycophant BS machine without knowing what the job actually does

The problem is always techbros. Large Language Models, Deep Learning, these kinds of things are potentially valuable when put to work in the right arena.

A techbro will never put them in the right arena. It’s always a false promise built on flimsy reputational credit.

Techbros are the result of the capitalist mode of production. You have to get rid of capitalism to get rid of techbros.
🙏 Inshallah