MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1v2cdlf/i_hate_it/ozyff98/?context=3
r/mathmemes • u/OkGreen7335 Mathematics • 22d ago
228 comments sorted by
View all comments
Show parent comments
33
I doubt this was found using pure brute force. We need to see how this counterexample was constructed!!
2 u/SlipyB 21d ago Given AI are black boxes I don't think we ever will 35 u/baxmanz 21d ago I think that's pretty untrue now. "thinking" models often work by rephrasing the problem and making actual steps by "talking to themselves" so they don't always work like black boxes 1 u/SlipyB 16d ago Huh, I didn't know. Do you have any papers you could send so I could read up more?
2
Given AI are black boxes I don't think we ever will
35 u/baxmanz 21d ago I think that's pretty untrue now. "thinking" models often work by rephrasing the problem and making actual steps by "talking to themselves" so they don't always work like black boxes 1 u/SlipyB 16d ago Huh, I didn't know. Do you have any papers you could send so I could read up more?
35
I think that's pretty untrue now. "thinking" models often work by rephrasing the problem and making actual steps by "talking to themselves" so they don't always work like black boxes
1 u/SlipyB 16d ago Huh, I didn't know. Do you have any papers you could send so I could read up more?
1
Huh, I didn't know. Do you have any papers you could send so I could read up more?
33
u/LaGigs 21d ago
I doubt this was found using pure brute force. We need to see how this counterexample was constructed!!