Ethan Mollick

emollick.bsky.social

05 September 2026 00:11

Hey, Claude formalized Fermat's Last Theorem www.anthropic.com/research/for...

ꭓle Ormsby 𓆙

e-infinity.space

22 August 2026 09:29

There goes Erdős's Unit Distance Problem. openai.com/index/model-...

Mark Dingemanse

markdingemanse.net

22 August 2026 09:29

When an "AI" provider announces a new result, remember they have a product to sell. Watch for the careful and systematic ways human labour is elided at every step and claims about the model and the 'discovery' process are shielded from direct inspection Today's specimen: openai.com/index/model-...

Suresh Venkatasubramanian

geomblog.bsky.social

22 August 2026 09:28

OpenAI just announced that ChatGPT has disproved a conjecture about one of Erdos's most famous problems: the unit distance problem. openai.com/index/model-... This problem is personal to me: I spent time during my Ph.D mulling over it, and it hooked me into computational geometry. A thread: 1/n

Ethan Mollick

emollick.bsky.social

22 August 2026 09:28

More on the solution: openai.com/index/model-...