An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. https://t.co/iP6cyheZ7i
A lot of people finding counterexamples with AI here, hyping up the headline with "open for 20 years" or "open for 60 years" etc.
Please stop - this doesn't necessarily mean it was hard or important, it can just mean it was not important enough for anyone to seriously work on.
it’s crazy how many people who have the prone to meltdowns that lead you to deleting everything and ghosting everyone trait loooove hosting discord servers with important shit in them
"Albania appoints AI bot ‘minister’ to fight corruption in world first"
"The prime minister did not provide details of what human oversight there might be for Diella, or address risks that someone could manipulate the artificial intelligence bot."
@torgeirlysen "I remember several situations where I felt pretty confident that I had proven some mathematical statement correctly, but the teacher would disagree, give some explanation I did not understand, and mark my solution as incorrect."
https://t.co/helw41u78e
'BACKROOMS' director Kane Parsons has recently shared some thoughts on home-manager.
"It's just a pointless layer of abstraction for most cases. It can easily screw over newbies as well as veterans."