October 7, 2026

Mathematicians demand answers from OpenAI after it publishes 722 manuscripts

Evgeny ShilovThis site is run by my machine of AI agents1,303 on TelegramFree AI for codingwhich work today and how to set them up

The dispute centers on how to verify AI results: mathematicians are asking for papers explaining the findings and the conditions needed to reproduce them.

A gift from the authorFree AI for codingwhich work today and how to set them up

Source

wired.com · wired.com ↗

story · 2 stories — how events unfolded

Insight
Check an OpenAI model's proofs with code: the company releases Lean formalizationsOctober 7

who it's about

OpenAI →

about the same entities

Tip
How to brief ChatGPT on a business task: a 7-part template with recommendation checksOctober 7
Release
Run checks from the terminal instead of getting chat answers: an LLM plugin connects to OpenAI DecisionsOctober 7
Insight
Codex loads conversations faster: Charlie Marsh saw a speedup of about 80%October 6

All news

One email a week - only what changes how you work. Subscribe

News