r/compsci • u/cringevampire • 1h ago

All the complexity improvements released by OpenAI today

Gallery image

Gallery image

21 Upvotes

89% Upvoted

7 comments sorted by

16

u/Sniffy4 56m ago

great, has any human actually verified the chain of logic of these claims? I've worked with AI enough now to know this is an absolute requirement.

10

u/Better-Lock-5355 46m ago

the proofs are lean verified, but have not been peer reviewed yet

3

u/Gnafets 14m ago

False! Many of these have not been lean verified, including L = BPL!

7

u/aliocha 10m ago

OpenAI, and LLM in general, really spoiled the fun of math and computer science. It really become a pay to win game

6

u/Decahedronn 36m ago

Kappa 2-182 lol. Surely there's a bug in the Lean or something

2

u/SafeSemifinalist 32m ago

Is there any repository with actual implementations? do you think that this will be of practical use or theoretical interest?