No one is expecting that! I expect _kb was sarcastic/making a point.
replyRecently (last couple of months?) these models are becoming useful tools for mathematicians, because they can solve easier problems more quickly, meaning that one can tackle bigger challenges (but maybe not RH et al) piece by piece.
But, there are still definite limits, where one could expect an expert human to solve things, given time, but models do not. Thus, more intelligence would be nice!
if it was sarcastic then whoosh on me.
replyIt was a bit of humour. It would be much for feasible to have an LLM generate programs that solve those problems rather than solving directly. I tried to make a start, but I couldn't even vibe a simple tool that would let me reliably validate if generated solvers would halt or loop forever.
reply> if generated solvers would halt or loop forever.
replyI am pretty sure this time I am catching the sarcasm here. Kudos you had me in the first half.