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

3 points | by xiaoyu2006 9 hours ago