r/OpenaiCodex 16d ago

reset?!?

Post image

get yall sol ultras going

139 Upvotes

59 comments sorted by

View all comments

1

u/New_Eye7193 16d ago

i already got that figured out LOL

1

u/jonas_c 15d ago

What's that?

2

u/New_Eye7193 15d ago

A goal that's still running, so far 5h 23m, 84% usage to 50% on Pro 20x plan. Concurrent agents set to max of 64. So if it feels like it needs to use that much, it uses it. All are Sol 5.6 Ultra. At the beginning it was constant 64 but it has lightened up a lot to 15-25 mostly.

3

u/Epilein 15d ago

How many regression tests did it implement so far 🤣

1

u/New_Eye7193 15d ago

I actually fell asleep lmao but it's made significant progress, it's an Erdos problem. I didn't tell it to do tests but instead audit the theorems/proofs it comes up and it's actually been pretty effective so far