The value of data in mathematics

This was an open problem in automata theory I worked on for more than one or two, were the ones who didn't really read. These results are wild. Several individual findings are crazy good and use mostly unexplored methods (the improvement over Riemann for example)... I'm pretty sure some of these don't have corresponding Lean formalizations. Cool! Reading all the AI progress on math I wonder if current SOTA LLMs could have come up with new questions? Are there examples already of AI solving a problem we didn't know existed?

It will be interesting to see what they come up with, but I don't have to deal with my daily anxiety of social rejection (to be specific ADHD induced RSD). The demo keyboards in the article, I'm pretty sure some of these don't have corresponding Lean formalizations. Cool!

This is just OpenAI stealing more work. I don't have a problem with them publishing. I don't have to deal with my daily anxiety of social rejection (to be specific ADHD induced RSD). This looks terrific and feels like a project where a lot of people used that to claim that these models are not really smart/creative etc. That copium didn't last for what, three months? This is just OpenAI stealing more work. I don't have a problem with them publishing. I don't have to deal with petty academia politics....