The tech company recently announced ChatGPT for Academic Researchers⁠, which provides 100,000 scientists and mathematicians with free access to the best ChatGPT models - but OpenAI has stressed that accurate attribution remains an important issue.

In a post on OpenAI's website, the company explained: "The emergence of systems capable of contributing to mathematical research raises questions that cannot be answered by a technology company alone.

"There are many views as to the role of AI in mathematics, and we have deep respect and understanding for those concerned with its impact, including the signers of the Leiden declaration on AI and Mathematics⁠.

"We believe attribution should honestly reflect how a result was produced: claiming human authorship for a proof generated entirely by an AI system would misrepresent both the system’s contribution and the nature of genuine human intellectual work."

OpenAI hopes mathematical researchers can work collaboratively with AI systems, in an ethical and transparent way, moving forwards.

The statement continued: "We helped prepare the manuscripts and formalize the proofs in Lean, and we take responsibility for their correctness, while the mathematical arguments themselves were generated by our system.

"We hope the mathematical community will engage deeply with these results, place them in context, and bring the ideas behind them to life through new research and discovery."

OpenAI is keen to ensure that its systems are accessible to scientists and mathematicians during a "transformative era".

OpenAI - which develops generative AI models, particularly the GPT series of large language models - said: "As AI systems evolve into more sophisticated research collaborators, ensuring widespread access is fundamental to supporting scientists and mathematicians as they navigate and define the future of their disciplines during this transformative era."