OpenAI's blockbuster math proof isn't what you think it is

4 points | by tibbar 12 hours ago