AI LLMs Astonishingly Bad At Doing Proofs And Disturbingly Using Blarney In Their Answers

In today’s column, I examine an insightful AI research study that sought to ascertain whether state-of-the-art generative AI and large language models (LLMs) are any good at devising mathematical proofs.

You see, there have been lots of flashy press that proclaim LLMs can do noticeably well at solving complex math problems, but those experiments and tests tend to…