3 ms·

Which novel idea have LLMs brought forward so far?

• atleastoptimal 1y ago
  > Claim: gpt-5-pro can prove new interesting mathematics. >Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct. https://x.com/SebastienBubeck/status/1958198661139009862 https://x.com/SebastienBubeck/status/1958198661139009862 (please excuse the x link)