Zulip Chat Archive

Stream: IMO-grand-challenge

Topic: 1969 problem 1


Kevin Lacker (Sep 25 2020 at 21:59):

Okay, I wrote up a pull request formalizing 1969 problem 1. https://github.com/leanprover-community/mathlib/pull/4261 I'd love to get someone to take a look!

Kevin Lacker (Sep 25 2020 at 22:00):

FYI the problem is: Prove that there are infinitely many natural numbers $a$ with the following property: the number $z = n^4 + a$ is not prime for any natural number $n$ . I chose this one because it seemed easy.


Last updated: Dec 20 2023 at 11:08 UTC