The following problems concern the infinite sequence of center-cell values in the pattern (shown above) generated by rule 30 evolving from a single nonzero cell:
The Prize Committee will oversee the review and validation of candidate correct solutions. Since it is not known what methods may be successful, the Prize Committee includes experts in a wide variety of areas.
Note: The Prize Committee has an advisory role; submissions should not be directed to its members. (Submissions sent directly to Prize Committee members may be disqualified from further consideration.)
The Wolfram Foundation ("Wolfram") is offering $30,000 (US) in prize money ("Prize"/"Prizes") for correct solutions ("Solution"/"Solutions") to the three Wolfram Rule 30 Prize Problems ("the Problems"). The three separate $10,000 Prizes, one for each Problem, shall go to the first submitter to submit a complete and correct Solution for that Problem, with a full proof to the satisfaction of the Prize Committee in accordance with these Guidelines. Priority is determined by the date and time Wolfram receives the submission, not by when the Solution was produced or published elsewhere. Incomplete or incorrect submissions do not establish priority.
Who may participate. The invitation to participate and eligibility to win these Prizes are extended to everyone, meaning individuals, groups and organizations (such as companies, universities or research groups). Each submitter agrees to be bound by the rules, decisions and interpretations of the Prize Committee. Regardless of how they were produced, all submissions must come from verified human submitters. Anonymous submissions and submissions that identify no verified human submitter will not be accepted. Any Prize will be paid to the submitter(s), who is responsible for dividing it among collaborators. Wolfram will not resolve such disputes and may withhold payment until they are settled.
Submissions. For each of the Problems, submissions will be accepted until a satisfactory Solution has been achieved. All submissions must be the submitter's original work and name all human and organizational contributors; work produced by tools the submitter operated counts as the submitter's own, but work copied from another's Solution does not. Anonymous submissions will not be accepted. Wolfram may limit or reject bulk or repeated submissions that unreasonably burden review and may ask a submitter to identify which submission they stand behind.
Form of proof. A proof must be presented in a form the Prize Committee can verify. Any computation must be reproducible, with code, data and instructions provided. For extensive proofs that are largely machine generated, the Committee may require a human-readable account of the main argument, a computable formal verification in a form that can readily be run by Wolfram, or both. A proof the Committee cannot reasonably verify will not be accepted, however it was produced.
Rights. Submissions remain the property of their submitter(s) to the extent any ownership exists, and Wolfram makes no determination about whether rights subsist in AI-generated material. The submitter grants Wolfram an irrevocable, non-exclusive, royalty-free, worldwide license to publish, reproduce and distribute the submission. Submitters represent that they have the right to grant this license and that the submission does not infringe third-party rights.
Judging. Submissions will be judged by the Prize Committee, and all decisions are final and binding on all participants. In unexpected circumstances (such as proofs with different axiomatic foundations, simultaneous submissions, credit or priority not addressed here), the Committee will make a discretionary decision consistent with the goals and purpose of the Prize. Wolfram may request additional or clarifying information in connection with submissions, including logs, transcripts or code showing how a Solution was produced. Submitters will be contacted at the email addresses they provide. Wolfram may clarify these Guidelines as technology and verification practice develop, but a clarification will not retroactively invalidate a compliant submission.
Misrepresentation. If a submission is found, before or after an award, to have materially misrepresented authorship, the Committee may disqualify it and require return of any Prize paid.
Claiming a Prize. Winners may be required to provide proof of identity, address and birth date (or, for organizations, proof of legal existence and authority to act) and to execute and return tax acknowledgment forms, a liability release and a publicity release prior to claiming a Prize.
Release. By making a submission, submitters release and agree to indemnify and hold harmless Wolfram and the Prize Committee from and against any and all costs, claims or damages, whether due to negligence or otherwise, due in whole or in part, directly or indirectly, for their participation, including third-party claims relating to the use of AI systems or other tools.
Note: the Wolfram Rule 30 Prize Problems are definite, precise problems. Submissions that do not provide definite, precise results and arguments will not be considered.
The Solution should be submitted in the form of a technical research paper, suitable for publication. If successful, the submission will be published.
By uploading a submission, you are agreeing to the Prize Guidelines.
