Psyho

2.4K posts

Psyho banner
Psyho

Psyho

@FakePsyho

Humanity's Last Programmer; Game Designer; Problem Solver; past: OpenAI (Dota), Pro Competitive Programmer, Poker

I don't know anymore Katılım Mayıs 2012
397 Takip Edilen29.5K Takipçiler
Sabitlenmiş Tweet
Psyho
Psyho@FakePsyho·
Humanity has prevailed (for now!) I'm completely exhausted. I figured, I had 10h of sleep in the last 3 days and I'm barely alive. I'll post more about the contest when I get some rest. (To be clear, those are provisional results, but my lead should be big enough)
Psyho tweet media
English
553
1.1K
13.3K
2.3M
Psyho
Psyho@FakePsyho·
I'm not even sure why I'm QTing this. On one hand it feels important, on the other hand, feels devoid of any substance.
English
2
0
38
2.2K
Psyho
Psyho@FakePsyho·
@Nim_game_btc re: harness, imho it's still required for bigger/harder/more esoteric ones; but yeah observations in those puzzles should be way easier than stuff in AWTF
English
0
0
1
176
Psyho
Psyho@FakePsyho·
@Nim_game_btc My tests were more qualitative than quantitative, i.e. I was looking at solving paths checking etc. The difference is huge, because basically none of the earlier models were able to give me satisfying results before. I'd need to finish my whole benchmark in order to give stats.
English
1
0
2
555
Psyho
Psyho@FakePsyho·
gpt 5.6 sol pro is the very first model that routinely solves some of the harder logic puzzles and so far looks like it actually uses logic rather than pure guessing so far my experience is that the improvement 5.5->5.6 is bigger than 5.2->5.5
English
33
21
709
34.1K
Psyho
Psyho@FakePsyho·
@Meronix15 My diplomatic answer is: I don't think "computer science" people should fear more than any other knowledge workers.
English
1
1
11
522
Meronix
Meronix@Meronix15·
@FakePsyho Do you think in 2-3 years that there will be any jobs left in computer science fields?
English
1
0
1
590
Gürsel Çakar
Gürsel Çakar@gurselcakar·
@FakePsyho is there a public repo or website where i can find some of these puzzle sets out of curiosity?
English
1
0
1
239
Psyho
Psyho@FakePsyho·
classic sudoku is an easy case, because even the hardest ones are generally easily solvable via backtracking (or more precisely by applying basic patterns + backtracking) I'm mainly testing on puzzles that require advanced break-ins and are hard to "brute force". I'd say we're not there yet, but we got very close in the past few months.
English
1
0
12
949
Gürsel Çakar
Gürsel Çakar@gurselcakar·
@FakePsyho what is your knowledge with respect to llms ability to solve for instance logic based puzzles like sudoku? e.g. can it now solves those extremely hard sudoku (or similar) puzzles?
English
1
0
1
1K
Psyho
Psyho@FakePsyho·
I can no longer claim that if I ever finished that benchmark, the solve rate would be essentially 0% maybe this will motivate me to actually finish it, since it's probably few more months until it would get saturated
English
0
0
40
2.8K
Psyho
Psyho@FakePsyho·
@anpaure x.com/anpaure/status… we've exchanged a lot of comments and like no meaningful information 😅
anpaure@anpaure

@FakePsyho is that true? by hiring employees and directing effort towards anything but building rsi you're making an explicit bet against it unless there's an amdahl law kinda thing, you're compute constrained, and marginal capability researchers' value is 0, you're unserious by definition

English
1
0
3
167
anpaure
anpaure@anpaure·
@FakePsyho wait which post, like the very first one?
English
1
0
3
128
Psyho
Psyho@FakePsyho·
I really dislike posts like this Literally all of the labs are trying to build "God Himself". The difference is the marketing and that most of the labs are not good at it.
Air Katakana@airkatakana

i don’t understand how anyone could still be surprised anthropic has made it clear that they are trying to build God Himself. your usage limits are of no concern to them all claude subs are just donations to this end if you want to consume a product you should be on chatgpt

English
4
4
140
12.8K
Psyho
Psyho@FakePsyho·
@anpaure sure, but your original post sounded like you have major doubts, so I was hoping for something more tangible
English
1
0
3
135
anpaure
anpaure@anpaure·
@FakePsyho i'm not saying i don't believe but there's an is-ought gap, they're probably trying, but that doesn't imply they couldn't obviously be much better, and they aren't because [some random internal reason] the basis is talking to friends at labs and reading all the news on twitter
English
1
0
3
138
Psyho
Psyho@FakePsyho·
@anpaure yes, labs (OpenAI and Anthropic) do things I'd expect them to do given that they're trying to build machine god I still don't get why you believe it's not the case
English
1
1
3
190
anpaure
anpaure@anpaure·
@FakePsyho you've said it, now do you think the labs are doing a good job with these? i feel like they're not even trying properly on "people to like you" and they're struggling despite putting out *some* effort on the gov side
English
1
0
2
182
Psyho
Psyho@FakePsyho·
@anpaure For RSI -> In general; I've switched my line in the middle of the sentence
English
0
0
1
88
Psyho
Psyho@FakePsyho·
For RSI you need good researchers, compute, data, governments and people to like you, income, etc. If you're in the lead, I'd imagine you want to minimize variance as well. Any specific actions that you think go against that? One of the worst I can think of was sora app, but I don't see anything substantial lately (for OpenAI at least).
English
2
0
4
529
Psyho
Psyho@FakePsyho·
@argus96_adam I hope AI doesn't surpass humans at entertaining people anytime soon
English
0
0
1
107
Adam Adamowski
Adam Adamowski@argus96_adam·
@FakePsyho The interesting question is whether LLMs can create interesting/creative problems for programming competitions. Has anybody tested that?
English
1
0
0
157
Psyho
Psyho@FakePsyho·
Back to rainy Warsaw! There are still a few things I want to write wrt AWTF: future of competitive programming, what does this result mean and maybe some analysis of the heuristic problem I have to trim my backlog though, so I'm probably back to my regular tweeting schedule
Psyho tweet media
English
5
1
137
6.6K
Psyho
Psyho@FakePsyho·
> Could you also share your thoughts on what career paths young ppl should consider? I've been asked this question easily 100+ times in the past year and honestly I don't have a satisfying answer here. My philosophy was always to avoid "career" and strive for being generalist: focus on core skills, get better at knowing yourself, find what gives you feeling of accomplishment, find your weaknesses and work on them, work on your soft skills as well. Do a lot of many things. I do feel it's more important than ever, because it's really hard to predict how the world will look in 2-3 years from now. The only thing that's guaranteed is that things will change quickly. If you're young you shouldn't have a 5-year plan that's rigid. > Which areas of math/cs will remain difficult for llm based models over the next 10 years? none
English
0
1
4
142
Rvess
Rvess@flying_knee3·
@FakePsyho Hi Psyho! Could you also share your thoughts on what career paths young ppl should consider? Which areas of math/cs will remain difficult for llm based models over the next 10 years?
English
2
0
1
212
Psyho
Psyho@FakePsyho·
@sheggle_ I haven't see any summaries, but I also haven't looked too much. You'll probably find a lot of scattered around info on Japanese twitter.
English
0
0
2
260
Sheggle
Sheggle@sheggle_·
@FakePsyho Any good write-ups that analyze the solutions?
English
1
0
1
275