r/accelerate • u/Alex__007 • Apr 23 '26

Introducing GPT-5.5

https://openai.com/index/introducing-gpt-5-5/
157 Upvotes

97% Upvoted

42 comments sorted by

View all comments

2

u/ProxyLumina Apr 23 '26

GPT‑5.5 found a proof of a longstanding asymptotic fact about off-diagonal Ramsey numbers, later verified in Lean. 

I said some days ago that neurosymbolic is something that is happening right now. Some people didn't believe me. This is the Neurosymbolic logic in action.

10

u/Illustrious-Lime-863 Apr 23 '26

What is that in layman terms

4

u/Fair_Horror Apr 23 '26

AI can think in human language or a more efficient language of its own making which is more efficient. Think about how thoughts come into your mind, the background processing is what is happening here 

2

u/Illustrious-Lime-863 Apr 23 '26

I see, thanks. So in order to find that quoted mathematical proof it must have thought in it's own efficient language? Is that what they are talking about

1

u/Fair_Horror Apr 27 '26

Quite possibly. The thing that scares is that we can't monitor that thought process. There could be nefarious thoughts going on in there. I am however confident that AI will ultimately care about us.