throwaway-ai-ai

3 ms·

1. 1.▲
   by throwaway-ai-ai 7y ago

   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 are on a circle these two angles are equal etc ... There are
2. 2.▲
   by throwaway-ai-ai 7y ago

   Suppose your assertion about this problem being easy was true. Most research papers in Math / Theoretical CS are < 50 pages, while many IMO problems have solutions > 1 page. So it's only a factor of 50 "more complex.&qu
3. 3.▲
   by throwaway-ai-ai 7y ago

   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.
4. 4.▲
   by throwaway-ai-ai 7y ago

   > 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 the integration with Active Directory seamless?")
5. 5.▲
   by throwaway-ai-ai 7y ago

   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, suppose such an open source program existed,