0 boosts
OpenAI says their model has disproved the planar unit distance conjecture. Timothy Gowers is impressed.

(via Timothy Gowers on Bluesky)