{"date":"2018-06-02","became_true":[{"id":"clm_40B2E82BA164","entity":"openai","predicate":"announcement","value":"GamePad: A learning environment for theorem proving","valid_from":"2018-06-02","valid_to":null,"published":"2018-06-02","recorded":"2026-10-27","status":"valid","assertable":false,"why_not":"post"}],"stopped_being_true":[],"recorded":[],"complete":true,"legend":{"dates":"valid_from: when the claim took effect (a period figure: the day its period closed). published: the earliest day a source on the record published it (a filing's filing date, a post's date; null when no source carries one). recorded: the day AsOf first held it. A figure can take effect weeks before it is published.","why_not":{"post":"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."},"checked_by":{}}}