What sort of maths are LLMs good at?(gowers.wordpress.com)

250 points by ColinWright 2 months ago | 138 comments

Why I didn’t sign the Fields medallists’ letter(gowers.wordpress.com)

267 points by simianwords 1 month ago | 376 comments

How to Use Zorn's Lemma (2008)(gowers.wordpress.com)

19 points by perihelions 1 year ago | 1 comments

When are two proofs essentially the same? (2007)(gowers.wordpress.com)

58 points by ColinWright 2 years ago | 86 comments

Creating a Database of Motivated Proofs(gowers.wordpress.com)

4 points by robinhouston 1 year ago | 0 comments

Creating a database of motivated proofs(gowers.wordpress.com)

13 points by furcyd 1 year ago | 2 comments

ChatGPT Images 2.5(openai.com)

343 points by vertigoruntime 1 month ago | 419 comments

OpenAI product announcement introducing ChatGPT Images 2.5, with sharper details, faster generation, more precise editing, and better creation and sharing tools.

ChatGPT Pro 500(help.openai.com)

183 points by prodigycorp 27 days ago | 200 comments

OpenAI help center article describing ChatGPT Pro subscription tiers.

ChatGPT Pulse(openai.com)

590 points by meetpateltech 1 year ago | 652 comments

OpenAI announcement introducing ChatGPT Pulse, a feature that lets ChatGPT proactively start conversations with users.

The surprise deprecation of GPT-4o for ChatGPT consumers(simonwillison.net)

377 points by tosh 1 year ago | 365 comments

Simon Willison blog post on OpenAI retiring GPT-4o and other older models in ChatGPT consumer apps without notice when GPT-5 launched.

Apps SDK(developers.openai.com)

449 points by alvis 1 year ago | 363 comments

OpenAI developer documentation home for the Apps SDK, a preview framework for building apps that run inside ChatGPT using MCP servers.

ChatGPT Health(openai.com)

401 points by saikatsg 9 months ago | 578 comments

OpenAI announcement introducing ChatGPT Health, a dedicated ChatGPT experience for health and wellness with a waitlist.