Топ комментариев
На Railgun<b>Mike is Jacked </b>, 8 часов назад
+205

noob on right cannot binary search

На Railgun<b>Mike is Jacked </b>, 6 часов назад
+146

Mike be doing some Heavy Lift Decompositions

На yummyOpenAI o1 IOI submissions, 34 часа назад
+82

Thanks for the posting such details. You guys do so interesting things!

На PetrICPC Astana mirror stream, 20 часов назад
+78

Absolutely! Go go go Petr + ksun48 + KAN!

На Railgun<b>Mike is Jacked </b>, 7 часов назад
+63

Ofcourse he would be, he has been hitting the Codeforces GYM

Congrats Mike for winning

На Kevin114514World Finals(Again): Who will win?, 24 часа назад
+59

Pretty sure MIT will win: TLE deserves a world champion. PKU, THU and MIPT will likely get gold medals. Oxford is also very strong.

На Kevin114514World Finals(Again): Who will win?, 41 час назад
+51

StarSilk will win !!

На Kevin114514World Finals(Again): Who will win?, 38 часов назад
+46
На I_Love_Diar_NarumovCodeforces Round 973 (Div. 2), 32 часа назад
+42

KAZAKHSTAAAAAAAAAAAN

На yummyOpenAI o1 IOI submissions, 47 часов назад
+36

I think you misunderstood here...

There are actually 3 different results:

  • submitting 50 random submissions: 156 points
  • strategically choosing 50 submissions: 213 points
  • up to 10k submissions: 362 points

It can be seen on this webpage: https://openai.com/index/learning-to-reason-with-llms/#coding

На yummyOpenAI o1 IOI submissions, 42 часа назад
+36

How much computing power was used?

На PetrICPC Astana mirror stream, 13 часов назад
+36

Maybe I go for overcomplicated solution but all my codes today were very long. Not counting the templates:

C — 90 lines
F — 120
D — 120
A — 135
L — 380

There was too much of unnecessary "reconstruct a solution".

Or did I get unlucky with problems to solve?

На PetrICPC Astana mirror stream, 20 часов назад
+33

Endagorion, tourist: are you going to be cheering for our team vs the real #ICPCAstana contestants this time? The ICPC Quest asks to tag our supporters at home, and ex-team members seem to be the best fit :)

На PetrICPC Astana mirror stream, 19 часов назад
+33

As a judge you cannot say that. I regret to inform you, but you are arrested

+32

I largely agree with the main point of the blog — but I'm curious, would you be fine with dropping from rank 10 on CF to let's say rank 200, knowing most of the people above you are cheating, but not necessarily knowing who exactly, and wouldn't it ruin your overall experience (e.g. when reading blogs and not being able to understand the person's real rating)? Would you be fine with never qualifying for an on-site competition because of cheaters?

I am not saying either will necessarily happen, but I do think that this invention may cause some harm and demoralize people, especially for someone younger who has never been to an on-site but is good enough to qualify right now. And it looks like contests with any material prizes will indeed need to find ways to address the AI cheating concerns — no company is interested in giving money to random unqualified cheaters on the internet

Bump.

I will agree you if you buy a VPN and pay it monthly for me.

На TuongOnArrival1Wondering about Chinese learning method?, 18 часов назад
+29

I believe 99% of the students in China have a way to bypass those restrictions by filling their parents' info/injection/whatever. Self-control is a much more important factor.

На ICPCNewsThe 2024 ICPC World Finals Astana, 11 часов назад
+29

На Kevin114514World Finals(Again): Who will win?, 44 часа назад
+27

Either MIT or Tsinghua will win!

GL to everyone :3

+27

Such things is not about informatics that in codeforces we should talk about,and it might annoy others and make codeforces into trouble as protesting religious things.Blasphemy of religion is quite dangerous.

На yummyOpenAI o1 IOI submissions, 33 часа назад
+27

Very insightful.

Edit: Seems like its solution is in fact correct, so 1-0 for the AI against me

Original: In particular I find the results on "message" interesting — it seems like its basic idea of determining a known safe column is not really correct, but given 10 000 submissions I imagine it tried a lot of different ways to communicate a safe column and eventually one went past the grader. That gives one view of why more submissions can be more helpful. I haven't examined the sphinx code, but I imagine in principle a similar thing is possible there, too.

На I_Love_Diar_NarumovCodeforces Round 973 (Div. 2), 32 часа назад
+26

KAZAKHSTAAAAAAAAAAAN

На ICPCNewsThe 2024 ICPC World Finals Astana, 20 часов назад
+26

In previous years, he was the MC at the closing ceremony. And guess what, he was annoying af...

На Kevin114514World Finals(Again): Who will win?, 34 часа назад
+25

Thanks!

На RobinFromTheHoodCodeforces Round 974 (Div. 3), 14 часов назад
+23

As a setter, if you cheat I'll be hiding under your bed

На abbcdbbcOn humans ruining programming competitions, 29 часов назад
+22

Sure! Here's a simple and delicious vanilla cupcake recipe: Ingredients:

1 ½ cups (190g) all-purpose flour
1 ½ tsp baking powder
¼ tsp salt
½ cup (115g) unsalted butter, softened
1 cup (200g) granulated sugar
2 large eggs
2 tsp vanilla extract
½ cup (120ml) whole milk

Instructions:

Preheat the Oven: Preheat your oven to 350°F (175°C) and line a 12-cup muffin pan with cupcake liners.

Mix Dry Ingredients: In a medium bowl, whisk together the flour, baking powder, and salt. Set aside.

Cream Butter and Sugar: In a large mixing bowl, beat the butter and sugar together with a hand mixer or stand mixer on medium speed until light and fluffy (about 2-3 minutes).

Add Eggs and Vanilla: Beat in the eggs, one at a time, followed by the vanilla extract.

Combine Dry Ingredients and Milk: Gradually add the dry ingredients to the butter mixture, alternating with the milk. Start and end with the dry ingredients, mixing just until combined. Avoid overmixing.

Fill the Cupcake Liners: Evenly divide the batter among the cupcake liners, filling each about ⅔ full.

Bake: Bake for 18-20 minutes, or until a toothpick inserted into the center comes out clean.

Cool: Remove from the oven and let the cupcakes cool in the pan for 5 minutes, then transfer them to a wire rack to cool completely.

Optional: Vanilla Buttercream Frosting

½ cup (115g) unsalted butter, softened
2 cups (240g) powdered sugar
2-3 tbsp whole milk
1 tsp vanilla extract

Beat Butter: In a large bowl, beat the butter until smooth and creamy.
Add Sugar: Gradually add the powdered sugar, beating until fluffy.
Add Vanilla and Milk: Mix in the vanilla extract and enough milk to reach your desired consistency.

Frost your cooled cupcakes and enjoy!

На RobinFromTheHoodCodeforces Round 974 (Div. 3), 14 часов назад
+22

as a tes, give me contribution

There were multiple takes, 25 pushups each. If I recall correctly, Mike has done 8 takes and the finalist has stopped in the middle of 8th. Mike is really good, hats off to him, but the guy who lost to him in the final used a more difficult technique to execute with legs together and hands placed really narrow. Normally, if I follow such technique I have ~15-20% less repeats, so this guy was extremely good. But for such competitions Mike's technique is the best one.

На ICPCNewsThe 2024 ICPC World Finals Astana, 9 часов назад
+21

Peking University takes the cup — ICPC 2024 WC! Congratulations.

На yummyOpenAI o1 IOI submissions, 47 часов назад
+20

We don't have any results on problem setting, and I could imagine that writing creative problems is a bit out of reach of current models. (I struggle to even get them to tell me a new joke :)) But synthetic problems have been used in the training of models e.g. AlphaGeometry

На I_Love_Diar_NarumovCodeforces Round 973 (Div. 2), 16 часов назад
+20

KAZAKHSTAAAAAAAAAN

На Railgun<b>Mike is Jacked </b>, 7 часов назад
+19

guy on right needs a sword to fight

На Railgun<b>Mike is Jacked </b>, 7 часов назад
+19

I met Mike for the first time at Technocup in 2019, and I think he looks younger in this photo than he looked back then. Pretty cool)

На Railgun<b>Mike is Jacked </b>, 7 часов назад
+19

Mike orz

На yummyOpenAI o1 IOI submissions, 2 дня назад
+18

I can't speak to future plans for OpenAI. That said, speaking for myself (and not OpenAI), I think watermarking is a cool research direction but not a panacea. For many problems, all AC solutions fall into a few broad buckets, and within those buckets, it is difficult to identify AI vs. non-AI solutions if one is allowed to rewrite/obfuscate code.

Alright, there is more to it, if you are familiar with generating functions and polynomial Taylor shifts (see adamant's blog). Just had this idea today and it concretizes the previous intuition about differential equations.

Let's take a look again at our set of equations:

$$$ \begin{align*} \Delta^2 W_k &= -\frac{n(k + 1)}{m},\\ \Delta W_1 &= W_1 - \frac{n}{m},\\ W_m &= 0. \end{align*} $$$

Note that we only defined $$$\Delta^2 W_k$$$ for integers $$$k \in [1, m - 2]$$$. Let us forget about this restriction and think of $$$\Delta^2 W_k$$$, $$$\Delta W_k$$$ and $$$W_k$$$ simply as usual polynomials in $$$k$$$ (allow their "continuation").

We know that, for a polynomial $$$P$$$,

$$$ P(x + 1) = (\exp(D)P)(x). $$$

Thus

$$$ \Delta P(x) = (\exp(D) - I)P(x), $$$

where $$$I$$$ is the identity operator. Of course, we can iterate this and we get $$$\Delta^2 P = (\exp(D) - I)^2 P$$$. Multiplying by $$$\frac{D}{\exp(D) - I}$$$ twice on both sides yields

$$$\displaystyle \frac{D^2}{(\exp(D) - I)^2} \Delta^2 P = D^2 P. $$$

Letting $$$P(x) := W_x$$$ and using the fact that

$$$\displaystyle \frac{D^2}{(\exp(D) - I)^2} = I - D + O(D^2) $$$

we get

$$$\displaystyle P"(x) = (I - D + O(D^2))\left(-\frac{n(x + 1)}{m}\right) = -\frac{n}{m}x. $$$

We got ourselves a differential equation! Integrating twice gives us two constants:

$$$\displaystyle P(x) = -\frac{n}{6m}x^3 + C_1x + C_2. $$$

The initial value conditions yield $$$C_1 = \frac{nm}{6}$$$ and $$$C_2 = 0$$$.

Solution: 281804074.

На bajelegaASIA dominates!, 15 часов назад
+18

then we will have 4 asian teams in the top 4

They do that once per year for ieextreme

Twice, one more for romanian TST

На Kevin114514World Finals(Again): Who will win?, 36 часов назад
+15

Pengzoo let's gooo

The greatest carrying the team moment in the history.

На bajelegaASIA dominates!, 16 часов назад
+15

MIT is Coming

+14

Forgive, I am not american; my English is not fluent. Do tell me the meaning of this

word

as a tester,i tried my best but only did 20 push-ups :)

MikeMirzayanov how can you only hold a push up challenge? It is important to do balance and work opposing muscles, so there should also be a pull up challenge

На yummyOpenAI o1 IOI submissions, 28 часов назад
+14

It is not much different from cheaters who use their friends/submit from multiple accounts. New technology, but the same old problem.

На tril0713Can this problem be solved with Li Chao Tree ?, 24 часа назад
+14

Thank you so much, orz

На bajelegaASIA dominates!, 16 часов назад
+14

I see but odds are higher for Swarthmore College. The only outlier in gold positions.

На ICPCNewsThe 2024 ICPC World Finals Astana, 11 часов назад
+14

something happen with team University of Maryland they have good hand with CP

-is-this-fft- and me thought it's a good idea to share our exchange about the rewrite to compare our approaches to writing. I think there's some good universal ideas here that might be a good learning opportunity. Some others are just preferences, and I might be wrong about things, so follow your intuition and don't let some flaws or "flaws" in your posts dissuade you from writing.

The exchange
На XiaohubaYet another compiler bug [?], 33 часа назад
+13

Further reduced:

typedef struct {
  unsigned long words[2];
} Child;

typedef struct {
  Child child;
} Parent;

Parent my_or(Parent x, const Parent *y) {
  const Child *y_child = &y->child;
  for (int i = 0; i < 2; i++) {
    x.child.words[i] |= y_child->words[i];
  }
  return x;
}

int main() {
  Parent bs[4];
  __builtin_memset(bs, 0, sizeof(bs));

  bs[0].child.words[0] = 1;
  for (int i = 1; i <= 3; i++) {
    bs[i] = my_or(bs[i], &bs[i - 1]);
  }
  return bs[2].child.words[0];
}
На abbcdbbcOn humans ruining programming competitions, 31 час назад
+13

We finally have another great trolling!

На ICPCNewsThe 2024 ICPC World Finals Astana, 19 часов назад
+13

I don't think we should talk about this thing on codeforces since I don't wish codeforces to be banned.

На ICPCNewsThe 2024 ICPC World Finals Astana, 8 часов назад
+13

Why the University of Maryland scored so low? Anyone knows? I was rooting for them

На yummyOpenAI o1 IOI submissions, 47 часов назад
+12

In the blog post, we discussed this a little:

For each problem, our system sampled many candidate submissions and submitted 50 of them based on a test-time selection strategy. Submissions were selected based on performance on the IOI public test cases, model-generated test cases, and a learned scoring function. If we had instead submitted at random, we would have only scored 156 points on average, suggesting that this strategy was worth nearly 60 points under competition constraints.

It would be super cool if one day the AI could do stress testing without human heuristics on top!

I agree with this statement.

Bro, I can't quit before I reach PUPIL :(

Why doesn't anything work for me?:c

На I_Love_Diar_NarumovCodeforces Round 973 (Div. 2), 36 часов назад
+12

Оу да ,Кз Раунд 998kover покажи как надо писать раунды

На yummyOpenAI o1 IOI submissions, 34 часа назад
+12

Creating 1 algorithm to solve all problems is the ultimate challenge.

+12

"for(int i=0;i<n;i++) use instead for(arrayIndex=0;arrayIndex<arraySize;arrayIndex++)"

The rest is generic advice, but this is actual nightmare fuel.

На yummyOpenAI o1 IOI submissions, 47 часов назад
+11

Oh, thanks! I’m just lazy to read about it. I prefer to read on codeforces comments :)

So I keep my position: I would expect that a sophisticated heuristic on top of the model with stress testing would, in most cases, be as accurate as the real verdict. That is, score should not improve by allowing more submissions.

I did not say "speaking English," I said "knowing":

show a complete lack of reading comprehension

I hope for a virtual participation.

На yummyOpenAI o1 IOI submissions, 42 часа назад
+10

For each task and the 10,000 submissions, if the score distrubution histogram can be shared, it will be more impressive!

На tril0713Can this problem be solved with Li Chao Tree ?, 24 часа назад
+10

You might find the second editorial of this problem helpful.

На ICPCNewsThe 2024 ICPC World Finals Astana, 22 часа назад
+10

I am sorry, but what he has to do with final in Astana?

На ICPCNewsThe 2024 ICPC World Finals Astana, 19 часов назад
+10

Thank you! Added link to text

Question: why "intelliger" instead of "integer"? Is it an implication that integers are intelligent and sentient beings?

A slight correction on 1: the growth is in fact just $$$\mathcal{O}(\log \log n)$$$ on average.

На bajelegaCongratulate arab champions, 13 часов назад
+10

he is a dumb g**.

На d1312How to get better at CP?, 9 часов назад
+10

Just be more Chinese. You simply are not Chinese enough.

Insert some Chinese genes into your DNA.

На TuongOnArrival1Wondering about Chinese learning method?, 45 часов назад
+9

Most sane AverageDiv2People Exceptionalism

Sorry,YouTube is banned in China(Don't ask how I know this).

gcd(x, y) = min(x, y) or gcd(x, y) <= min(x, y) / 2. so we can say there are O(lg(n)) distinct prefix gcds.

На Kevin114514World Finals(Again): Who will win?, 9 часов назад
+9

It didn't aged well

На exposing_recursionCELEBS WHO CHEAT EPISODE 1 - STRIVER, 92 минуты назад
+9

Dumbass skipped not only occurs from cheating it also might be due to resubmission. It seems he cheated in one only

На ko_osagaRumination on AI and competitive programming, 34 часа назад
+8

You can always use a new device, such that the Safe Exam Browser effectively becomes useless..

ZhouShang2003 chen_zexing stasio6 North America, USA, University of California San Diego

На XiaohubaYet another compiler bug [?], 30 часов назад
+8
На RahulHarpalIntroducing Hacks Standings! New Extension, 29 часов назад
+8

okwedook Hi! The issue is now fixed. All thanks to MANAV_2005 for fixing this issue.

На ICPCNewsThe 2024 ICPC World Finals Astana, 29 часов назад
+8

Does the mirror contest start at a specific hour or you can start whenever you want?

На ICPCNewsThe 2024 ICPC World Finals Astana, 27 часов назад
+8

Apparently, after registering for the Mirror Contest, it says that the contest is scheduled to start in 2025

На sberensNew OpenAI model achieves 1800 rating, 15 часов назад
+8

i can confirm i am indeed a real person lol

oh wow, I totally forgot about references lol. I took a look at it, and it makes way more sense now. Thanks!

На ICPCNewsThe 2024 ICPC World Finals Astana, 9 часов назад
+8

What happened to University of Maryland?

На Kevin114514World Finals(Again): Who will win?, 9 часов назад
+8

Your prediction was given when MIT was out of top 50. But in the end they got into top 12 and you was wrong, lol.

На 5k_sync_closerA string matching problem, 35 часов назад
+7

Auto comment: topic has been updated by 5k_sync_closer (previous revision, new revision, compare).

На yummyOpenAI o1 IOI submissions, 32 часа назад
+7

What's wrong with it?

На Kevin114514World Finals(Again): Who will win?, 20 часов назад
+7

Kevin114514 will surely win WF 2024!

На I_Love_Diar_NarumovCodeforces Round 973 (Div. 2), 42 часа назад
+6

Miscalculated, but where...

Solve easier problems, get stupid rewards.

The reason is you are solving problems only rated 800.

solve more >1400 problems

How was the rating of the team computed?

На yummyOpenAI o1 IOI submissions, 26 часов назад
+6

Actually, you're right, I seem to have misunderstood its approach. Not sure why so many people agreed with me.

На ICPCNewsThe 2024 ICPC World Finals Astana, 18 часов назад
+6

Live standings with CF handles: