Open Internet by MindsNet

Formalizing Complexity Theory for Language Models

The post highlights the disparity in language models' abilities, where they excel in autonomous proving/disproving mathematical problems but struggle with automating complex business operations. The author seeks a formal theory to explain this 'jagged intelligence' phenomenon, similar to computational complexity theory for algorithms.

Mathematics & logic, Mathematics, Mathematical Logic