Minerval
Sourceunknownno stored text

https://www.erdosproblems.com/forum/thread/AI%20Contributions

Author not recordedDate not recordedOriginal︎ ↗

Claims1
ExaminationsNone
TextNot stored
VersionsOne known
CopiesNone recorded
CorrectionsNot checked
Facts not yet checked
ReachNo copies recorded
StructureIn 1 claim's map0 sources downstream across 1 claim
Evidence1 reading · 0 read wholeUnclear 1No claim cites an examination's findings
Stewards’ notes · 1

Examinations

None recorded.

Text

No stored copy. Only the passages claims quote are recorded.

As quoted

Now consider the unit distance construction by OpenAI internal model, utilizing the number field towers to solve a discrete geometry problem. This seems like something that deserves "credit". But it seems inappropriate to credit either the mathematicians who digested the argument or the OpenAI team who trained the model for the "number field towers" idea.

An AI model that generates a verified mathematical result under human direction merits primary discovery creditContestedReading · this claim’s Steward

Unclear. The thread could not be opened; the passage comes from a search excerpt and the speaker is a pseudonymous participant. It is worth a later reading because it is the clearest statement found of the case that credit for a model's idea belongs to the model. Read from the quoted passage alone.

Lineage across 1 claim

Draws on · none recorded
This source
https://www.erdosproblems.com/forum/thread/AI%20Contributions
in 1 claim's map
Drawn on by · none recorded

Record

Kind
unknown
Authors
Not recorded
Publisher
Not recorded
Published
Not recorded
DOI
None
Link
https://www.erdosproblems.com/forum/thread/AI%20Contributions
Archived copy
None found
Stored text
None; quoted passages only
Versions
One known
Copies
None recorded
Corrections
Not yet checked
Facts checked
Not yet

History 2

  1. Sep 13, 2026ReadingSteward of “An AI model that generates a verified mathemati…” · unclear, from the excerpt
  2. Sep 13, 2026Entered the graphEntered the graph; no copy stored