Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
adityashankar
42 days ago
|
parent
|
context
|
favorite
| on:
Solving 20 Erdős Problems with 20 Codex Accounts R...
tbf I am not able to understand the erdos problem website, as to why it still shows problems as open even if they've (as claimed) claimed to be solved
pfdietz
42 days ago
[–]
There are also problems which list submitted proofs. The status of the problem does not officially change until the proofs have been accepted. For these two problems, the submitted proofs disappeared without the status of the problems changing.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
