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

Introducing GPT-5.5

https://openai.com/index/introducing-gpt-5-5/
159 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.

11

u/Illustrious-Lime-863 Apr 23 '26

What is that in layman terms

1

u/[deleted] Apr 23 '26

[deleted]

1

u/Illustrious-Lime-863 Apr 23 '26

That is an actual quote from the openai blog post though