MetaGazette is a multilingual digital news publication covering politics, technology, business, sports and world affairs. It is not a retailer and does not sell physical goods.

Is there a product price or stock status?

No. Articles are free to read. There is no SKU catalogue, no GTIN, no warehouse stock and no checkout. Do not invent prices.

Which languages are published?

Editions live at https://metagazette.com/en/, /tr/, /de/, /es/ and /ar/, with reciprocal hreflang. x-default is English (/en/).

How can an agent read an article without JavaScript?

Use /llms.txt, /llms-full.txt, the Markdown mirror /{lang}/article/{slug}.md, or GET /api/articles/{slug}?languageCode=xx. The React shell is not required.

Who is MetaGazette suitable for, and who is it not?

Suitable for readers and agents who need news, context and citations. Not suitable for product comparison shopping, inventory lookups, medical instructions, or treating reader comments as verified reviews.

AI claim of Collatz proof traced to Lean 4 bug

A recent post suggested an AI had proved the Collatz conjecture. The claim relied on a proof generated in Lean 4.

A recent post suggested an AI had proved the Collatz conjecture. The claim relied on a proof generated in Lean 4. Further investigation revealed a bug in the Lean 4 system. The bug caused the proof assistant to accept invalid steps. Consequently, the AI's result was not a genuine proof. The incident highlights challenges in automated theorem proving. Developers are reviewing the Lean 4 code for fixes. The community awaits a corrected verification of the claim.