Green's Open Problems #93

### What is the conjecture
https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf#problem.93

Is a random polynomial with coefficients in $\{0, 1\}$ and nonzero constant term almost surely irreducible?

### [AMS categories](https://github.com/google-deepmind/formal-conjectures/labels?q=ams-)

* ams-11
* ams-12
* ams-60

### Choose either option
- [ ] I plan on adding this conjecture to the repository
- [x] This issue is up for grabs: I would like to see this conjecture added by somebody else

Read Green's Open Problems PDF at problem 93 and inspect the formal-conjectures repository for conventions used by existing conjectures. Formalize the irreducibility conjecture for random {0, 1}-coefficient polynomials with nonzero constant term, and consider the AMS categories listed in the issue. Done means the conjecture has been added to the repository in the project's accepted formal statement style.

Written by the indexing model from the issue text.