
Kevin Hartnett
@kshartnett
Chief editor @stripe. Formerly math editor @quantamagazine and Brainiac columnist @bostonglobe.
ID: 339847475
21-07-2011 19:13:19
1,1K Tweet
4,4K Takipçi
130 Takip Edilen

In September 2020 Quanta Magazine wrote about researchers trying to build an AI system that can achieve a gold-medal score at the IMO. New work by Stanislas Polu and co. at OpenAI takes another step in that direction. openai.com/blog/formal-ma…