[lanstin]

All the interesting benefits of LLM/generative AI grow exponentially with the intelligence of the model. There's no point in a 90% capable model, except something like replacing phone trees or extremely bad customer service.

A model that is 50% less likely to try to prove false theorems tho is much more useful than than one that happily tries.

I'm not sure that HN folks appreciate this, but making commercial software is way easier than math and science (all the evidence you need, except the experience of understand QFT or advanced mathematics) is found in HN itself.