google-deepmind / google-deepmind/formal-conjectures
Zhi Wei Sun 2-4-6-8 conjecture counterexample
Open
- Dominant language
- Lean
- Stars
- 1.3k
- Forks
- 485
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 327
Description
Regarding OEIS/306477.lean
See https://gist.github.com/tadamcz/0c578c8b2b3fb92fe8584bc0725187e3
Contributor guide
Research direction
Start by reading OEIS/306477.lean and then inspect the linked gist for the proposed counterexample. Compare the counterexample with the formalized statement and determine what resolution the file requires; done means the conjecture's status is accurately reflected in the issue and formalization.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Active
- Clarity
- Needs clarification
- Newbie friendliness
- 45/100