A post title indexed from the publisher's own feed. It shows the post exists and when it went up; it is not a checked claim about the world. Treat it as a lead.

OpenAI · announcementGamePad: A learning environment for theorem proving

valid_from

2018-06-02

valid_to

null (still holds)

published

2018-06-02

confidence

0.50

superseded_by

null

recorded

2026-10-27 (first held by AsOf)

checked

2026-10-29 · the publisher's own feed

last rechecked

not yet rechecked against a source

Sources

• GamePad: A learning environment for theorem provingprimary · openai.com · 2018-06-02

/claim/clm_40B2E82BA164.md/v1/claims/clm_40B2E82BA164timelinesubmit a correction