[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000 (opens in new tab)
a quiet day but a nice result in AI x mathematics
Read the original articlea quiet day but a nice result in AI x mathematics
Read the original article