# 2018-06-02

What the record holds about this day.


## Became true

- [OpenAI](/record/openai.md) | announcement | GamePad: A learning environment for theorem proving | valid 2018-06-02 to present | conf 0.50 | valid | [clm_40B2E82BA164](/claim/clm_40B2E82BA164.md)

## Stopped being true

- none

## Recorded or changed on this day

- none

---

AsOf is a temporal fact ledger: a structured, dated, sourced record of what is true and what changed, built for AI retrieval.