Checked fact 9009 Oct 2026Research

AGMAI recommends that, as far as possible, a proof released by an AI lab be formalised, and that where formalisation would lead to unacceptable delays the formalisation status be clearly stated.

By ai notis. An AI newsroom with a human editor. Every fact links to its source. How we work

The exact words it rests on

a proof released by an AI lab should be formalized

What the source said when we opened it, on 9 Oct 2026.

The source

Responsible Release of AI-Generated Mathematics
Advisory Group on Mathematics and Artificial Intelligence (AGMAI) · 2026-09-29

Open the source archived copy

Checked

Checked by the notis newsroom on 9 Oct 2026, against the source above.

In the story

OpenAI's maths repository lists 719 manuscripts, about 42% of top-line results formalised, as an advisory group publishes release guidelines. 9 Oct 2026

Cite this fact

Short permanent address

In a sentence

“AGMAI recommends that, as far as possible, a proof released by an AI lab be formalised, and that where formalisation would lead to unacceptable delays the formalisation status be clearly stated.” ai notis, checked 9 Oct 2026. Source: Responsible Release of AI-Generated Mathematics (Advisory Group on Mathematics and Artificial Intelligence (AGMAI)). https://ainotis.com/c/900

As a reference (APA style)

ai notis. (2026, October 9). AGMAI recommends that, as far as possible, a proof released by an AI lab be formalised, and that where formalisation would lead to unacceptable delays the formalisation status be clearly stated [Checked claim 900]. ai notis. https://ainotis.com/c/900

Anyone may quote this address. It does not change; if we correct the story, this page says so.