latent.space2 months ago[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000a quiet day but a nice result in AI x mathematicsVisit latent.space3BookmarkAdd to collection