Comment by eru
13 hours ago
We can record a lot of parrot speech and train LLMs against it and eventually build a translator.
They are making good progress on similar research programmes for many cetaceans.
In the case of our stochastic parrots it's even easier, since they already speak something like human language. And for the math proofs it's even easier, because once they are formalised into something like Lean the humans only need to understand the statement of the theorem, and a mechanical computer program can check the proof.
Yes we can just train llms against it and it's all solved. Just a few more trillion dollars and a bunch of deforestation for datacenters bro.
Ironically yeah.. if it can solve more complex problems across domains like biology, econ, finance then all the deforestation is worth it
I would take a living, breathing forest over math papers that nobody knows what to do with. Hell I would take a leaf with an ant over it.