Top Comments
On Railgun<b>Mike is Jacked </b>, 8 hours ago
+201

noob on right cannot binary search

On Railgun<b>Mike is Jacked </b>, 6 hours ago
+141

Mike be doing some Heavy Lift Decompositions

On yummyOpenAI o1 IOI submissions, 34 hours ago
+82

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

On PetrICPC Astana mirror stream, 19 hours ago
+78

Absolutely! Go go go Petr + ksun48 + KAN!

On Railgun<b>Mike is Jacked </b>, 7 hours ago
+62

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

Congrats Mike for winning

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

+51

StarSilk will win !!

KAZAKHSTAAAAAAAAAAAN

On yummyOpenAI o1 IOI submissions, 47 hours ago
+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

On yummyOpenAI o1 IOI submissions, 42 hours ago
+36

How much computing power was used?

On PetrICPC Astana mirror stream, 13 hours ago
+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?

On PetrICPC Astana mirror stream, 20 hours ago
+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 :)

On PetrICPC Astana mirror stream, 19 hours ago
+33

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

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.

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.

+29

Either MIT or Tsinghua will win!

GL to everyone :3

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.

On yummyOpenAI o1 IOI submissions, 32 hours ago
+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.

KAZAKHSTAAAAAAAAAAAN

+26

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

Thanks!

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

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!

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.

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

On yummyOpenAI o1 IOI submissions, 47 hours ago
+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

KAZAKHSTAAAAAAAAAN

On Railgun<b>Mike is Jacked </b>, 7 hours ago
+19

guy on right needs a sword to fight

On Railgun<b>Mike is Jacked </b>, 7 hours ago
+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)

On Railgun<b>Mike is Jacked </b>, 7 hours ago
+19

Mike orz

On yummyOpenAI o1 IOI submissions, 47 hours ago
+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.

On bajelegaASIA dominates!, 15 hours ago
+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

Pengzoo let's gooo

The greatest carrying the team moment in the history.

On bajelegaASIA dominates!, 16 hours ago
+15

MIT is Coming

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

On yummyOpenAI o1 IOI submissions, 28 hours ago
+14

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

Thank you so much, orz

On bajelegaASIA dominates!, 16 hours ago
+14

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

+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
On XiaohubaYet another compiler bug [?], 32 hours ago
+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];
}

We finally have another great trolling!

+13

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

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

On yummyOpenAI o1 IOI submissions, 47 hours ago
+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

On yummyOpenAI o1 IOI submissions, 34 hours ago
+12

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

On yummyOpenAI o1 IOI submissions, 47 hours ago
+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.

"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.

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

show a complete lack of reading comprehension

I hope for a virtual participation.

On yummyOpenAI o1 IOI submissions, 42 hours ago
+10

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

You might find the second editorial of this problem helpful.

+10

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

+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.

On bajelegaCongratulate arab champions, 12 hours ago
+10

he is a dumb g**.

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.

It didn't aged well

On d1312How to get better at CP?, 9 hours ago
+9

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

Insert some Chinese genes into your DNA.

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

On XiaohubaYet another compiler bug [?], 30 hours ago
+8

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

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

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

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!

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.

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

+7

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

On yummyOpenAI o1 IOI submissions, 31 hour(s) ago
+7

What's wrong with it?

Kevin114514 will surely win WF 2024!

What happened to University of Maryland?

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?

On yummyOpenAI o1 IOI submissions, 26 hours ago
+6

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

Live standings with CF handles:

MIPT told Ecnerwala that they solved one problem in last hour. i guess they might win it all.