Issue Agent Feedback Topic

Stream: Formal conjectures

[Franz Huschenbeth]

If you found a mistake or hallucination in the Issue Creation Agent, provide me a link to it and I will see, if I can adjust the Agent to avoid said errors in the future.

[Brian Nugent]

I believe https://github.com/google-deepmind/formal-conjectures/issues/2251 is incorrect

[Brian Nugent]

The definition of (k,m)-perfect number doesn't make sense, it should just be k-perfect number. The conjecture it does state is just true

[Franz Huschenbeth]

Hi, thanks for the report :)

[Franz Huschenbeth]

The original problem is from this universal list of Wikipedia Problems (Number Theory, General).

[Franz Huschenbeth]

https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics#General

[Franz Huschenbeth]

Ah this is the correct link for the generalization, he did not find it because the naming was different and I did not provide the exact link, just the statement. https://en.wikipedia.org/wiki/Superperfect_number#Generalizations.

[Brian Nugent]

I see, so its just used sigma instead of sigma^m

[Franz Huschenbeth]

It should be sigma^2, it seems. Atleast for the case of the specific (2, 5) conjecture.

[Franz Huschenbeth]

I will edit the issue and be more cautious to provide sufficient information. Also interesting how he hallucinated the link to a section on the Perfect Numbers Wikipedia page, which still resolves tho...

[Anirudh Rao]

Hey I think FC#2270 is a little incorrect. It seems to be a conjecture that is attributed to Ryser but not THE Ryser Conjecture https://en.wikipedia.org/wiki/Ryser%27s_conjecture

[Anirudh Rao]

The pdf it linked has a nice overview of Ryser's conjectures from the paper it comes from https://arxiv.org/pdf/1801.02893

[Felix Pernegger]

Anirudh Rao said:

Hey I think FC#2270 is a little incorrect. It seems to be a conjecture that is attributed to Ryser but not THE Ryser Conjecture https://en.wikipedia.org/wiki/Ryser%27s_conjecture

It's better you just post this as a comment to the issue directly

[Franz Huschenbeth]

I have opened this topic, for more severe mistakes of the Agent. But it seems to fare fairly good, so I think we can just close this topic and I will simply change the template, to recommend writing a comment on the specific issue instead.

Felix Pernegger said:

Anirudh Rao said:

Hey I think FC#2270 is a little incorrect. It seems to be a conjecture that is attributed to Ryser but not THE Ryser Conjecture https://en.wikipedia.org/wiki/Ryser%27s_conjecture

It's better you just post this as a comment to the issue directly

[Franz Huschenbeth]

Anirudh Rao said:

Hey I think FC#2270 is a little incorrect. It seems to be a conjecture that is attributed to Ryser but not THE Ryser Conjecture https://en.wikipedia.org/wiki/Ryser%27s_conjecture

Kind of the problem, when one person makes multiple conjectures. But I have corrected the title and the body to state that Ryser conjectured it, instead of it being "the Ryser Conjecture". Thanks for the Feedback :)

[Anirudh Rao]

Felix Pernegger said:

Anirudh Rao said:

Hey I think FC#2270 is a little incorrect. It seems to be a conjecture that is attributed to Ryser but not THE Ryser Conjecture https://en.wikipedia.org/wiki/Ryser%27s_conjecture

It's better you just post this as a comment to the issue directly

ah, okay sounds good!