Viewing profile — throwaway-ai-ai

Many IMO geometry problems involves proving things like: these three points are on one line these three lines intersect at one point these two lines are parallel these four points …

Suppose your assertion about this problem being easy was true. Most research papers in Math / Theoretical CS are 1 page. So it's only a factor of 50 "more complex." Then, we should…

I would guess that a computer beats humans on the IMO before a computer beats humans on the IOI/ICPC -- but also think that the latter would have far greater impact.

> Until AI can create an Angular application with a .Net Core Azure back-end that meets ever-changing customer requirements ("can we remove the need for Bootstrap 4? Can we make th…

I'm curious: what are people's predictions for when it will be possible to run some program XYZ on a $10/hr EC2 machine and have it beat humans on the IOI/ICPC ? Furthermore, suppo…