Re:FunSearch: Making new discoveries in mathematical science...
by dougmwne on Thursday December 14, 2023 @04:44PM
(#38647713)
And that not only created a human interpretable method, but beat out 20 years of mathematicians working on a high profile open question.
Who’s to say our brains themselves aren’t brute force solution searchers?
LLM + brute force.