Illustration Beyond Proof(terrytao.wordpress.com)
92 points by smilelamp | 14 comments
A blog post on Terence Tao's blog titled "Illustration Beyond Proof"; the capture only shows a browser-check interstitial.
#mathematical-proof on Hacker News
3 stories tagged mathematical-proof, newest first.
If math is more than proof, we need to better celebrate the rest of it(terrytao.wordpress.com)
383 points by num42 | 275 comments
Guest post by Grant Sanderson on Terence Tao's blog arguing that mathematics is about understanding, not just proofs, and that non-proof contributions deserve more recognition.
![Screenshot of cdn.openai.com: GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]](https://hn.urlbox.com/shots/renders/2026/7/10/91480f3e-526b-426b-95b6-962a0b9ec6cf.jpg)
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf](cdn.openai.com)
489 points by scrlk | 404 comments
OpenAI PDF paper presenting a proof of the cycle double cover conjecture in graph theory, stated to be produced entirely by GPT-5.6 Sol Ultra.