Who Gets Credit When AI Writes the Proof?

An unreleased OpenAI model reportedly made progress on ten open math problems, some unsolved for 48 years, at an inference cost of about $2,000. The results, including a counterexample on nonsofic groups, have sparked debate over authorship credit between the model and researchers.