-
Notifications
You must be signed in to change notification settings - Fork 432
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#5211 In google-deepmind/formal-conjectures;
Erdős Problem 2: status mismatch (repo=solved, erdosproblems.com=formally solved)
formalisation exists elsewhereIndicates that a formalisation of the problem exists and should be portedIndicates that a formalisation of the problem exists and should be portedStatus: Open.#5207 In google-deepmind/formal-conjectures;- Status: Open.#5184 In google-deepmind/formal-conjectures;
The number of optimal least-squares matchings between two sets of n points in the plane under rotation
new conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#5179 In google-deepmind/formal-conjectures;The P vs BPP question
new conjectureIssues about open conjectures/unsolved problems problem. Category `research open`Issues about open conjectures/unsolved problems problem. Category `research open`Status: Open.#5175 In google-deepmind/formal-conjectures;- Status: Open.#5164 In google-deepmind/formal-conjectures;
- Status: Open.#5163 In google-deepmind/formal-conjectures;
- Status: Open.#5162 In google-deepmind/formal-conjectures;
- Status: Open.#5161 In google-deepmind/formal-conjectures;
- Status: Open.#5160 In google-deepmind/formal-conjectures;
- Status: Open.#5158 In google-deepmind/formal-conjectures;
- Status: Open.#5157 In google-deepmind/formal-conjectures;