google-deepmind / google-deepmind/formal-conjectures
Erdős Problem 461
Open
ams-11: Number theory
erdos-problems
new conjecture
- Dominant language
- Lean
- Stars
- 1.3k
- Forks
- 485
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 327
Description
### What is the conjecture
https://www.erdosproblems.com/461
Let $s_t(n)$ be the $t$-smooth component of $n$ - that is, the product of all primes $p$ (with multiplicity) dividing $n$ such that $p
Contributor guide
Research direction
Begin with the conjecture statement and the linked Erdős Problems 461 page. The issue names no repository file, test, or entry point, so first locate the project’s existing formalized conjecture conventions; done means adding a formal statement of this conjecture consistent with those conventions.
Written by the indexing model from the issue text.
Assessment
- Domain
- content
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100