On: FunSearch: Making new discoveries in mathematical sciences using LLMs

[janalsncm]

Bender and Marcus don’t get to decide what can be useful for people. LLMs are useful, although their imperfections limit their usefulness. But the bar for usefulness is a lot lower than “perfection”.