VibeMathedMath problems solved by AI

Whether Amenability of an Algebra Depends on the Ground Field

Cornulier asked, in a MathOverflow discussion, whether amenability of a module over an associative algebra depends on the ground field. It does not: the notion is invariant under change of base field.

Result
Proved(see note)
Status
Resolved
AI contribution
AI co-developed
Method
Argument
Field
Noncommutative algebra
Posed by
Yves Cornulier
Year posed
2015
Years open
11y
Solved
2026-08-08
Model
ChatGPT 5.6 Sol
Vendor
OpenAI
Collaborators
Be'eri Greenfeld
Verification
Unreviewed
Publication
Preprint
Significance
10 / 100
Disclosed cost
Wikipedia
No dedicated article

What was actually shown

The footnote is worth reading on its own: an author saying in print that the model earned coauthorship and that policy is what prevents it.

What the AI did

The abstract states it plainly: "A significant part of the argument is based on ideas of ChatGPT 5.6 Sol." The author goes further in a footnote on the title page: "While it is currently prohibited by arXiv policy to list AI as a coauthor, the (human) coauthor is confident that ChatGPT's contribution merits an author credit."

Verification

A preprint days old, with no independent review.

Source

Changelog1 change
  • Rasmus Lindahladded this entry

Discussion