Skip to content
As
Of
Record
Timelines
Changes
Brief
API
Data
Search
Menu
What changed
/
2020
/
2020-09-07
←
Previous day,
2020-09-06
Next day,
2020-09-08
→
2020-09-07
What the record holds about September 7, 2020.
Became true
1
2020-09-07
valid
OpenAI
·
post
·
Generative language modeling for automated theorem proving
OpenAI post: Generative language modeling for automated theorem proving, claim
clm_B0354C2682C6
· valid · 1 source (1 primary) · conf 0.50
Stopped being true
0
None.
Recorded or changed on this day
0
None.
/day/2020-09-07.md
/v1/days/2020-09-07