lxrogers

Right now the AI labs are the ones prompting and solving open problems because they are testing unreleased models. As soon as mathematicians get access to these models a lot of this discourse about the behavior of Labs will go away. Mathematicians will be the ones releasing incomprehensible lean proofs and GitHub dumps and it will be on them to follow whatever etiquette the research community decides is best.

Really awesome! Been thinking about how to get LLMs to do generative art (yes, the pre-AI definition of generative art). Love to see this approach and results!

according to most in the industry, the cheaper AI is the more we will need of it. So to actually reduce the energy used by AI, you should try to make it as inefficient as possible.