News for hackers. Stuff that matters.

A comment on AlphaProof's Greatest Hits: the coolest bits from the IMO 2024 solutions.

Re:AlphaProof's Greatest Hits: the coolest bits from the IMO... by sincerely on Sunday November 17, 2024 @01:46PM (#42166006)
in the first question, why do they even specify ⌊n⌋ (and ⌊2n⌋ and so on) when n is an integer?
[ Parent | on HN ]
Re:AlphaProof's Greatest Hits: the coolest bits from the IMO... by rishicomplex on Sunday November 17, 2024 @01:51PM (#42166049)
Alpha need not be an integer, we have to prove that it is
[ Parent | on HN ]
Re:AlphaProof's Greatest Hits: the coolest bits from the IMO... by sincerely on Sunday November 17, 2024 @01:57PM (#42166097)
Should have read more carefully, thank you!
[ Parent | on HN ]