Damus
rtn · 6w
nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqexxa2h3rgk5zx334dk37htjj9wdqls3nulkym9p7w5n4ndmdww9qdqwu7v I've blocked quite a few people ๐Ÿ˜ But the latest is about AI proving a geometry problem stated by Erdos