i wonder what it means for maths researchers, and how it aligns with how they approach math problems.

> i wonder what it means for maths researchers, and how it aligns with how they approach math problems.

I guess their job now is "Idea Man" and "Error Checker"? Kinda like (some/many) "programmers" these days.

just wait till someone builds a idea generator model - wire it to decision (jev-like) classifier -> loop it back to researcher

>> may be thats what open ai did :)

yes, share performance, numbers if you can, also i wonder if you figured out a way to do a 2way audio with local models, or even explored that. I have a very similar setup but not too happy with the token speed, will try omlx though !!!

I haven't, but that's just because it really isn't my personal usage pattern.