Ad

SRExpert

Stop juggling 6 Kubernetes tools.

Monitoring, alerts, security, Helm deploys and AI ops in one platform.

Start a 30-day free trial

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

1mo

Age

17

Points

5

Comments

Published
Collected

overfeed.news indexes and links. We publish a short excerpt — the full article stays at Hacker News (AI).

Log in to follow this source
OpenAI just dropped 700 preprints of mathematical proofs and…