[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000

En 3 lignesOpenAI GPT-next a résolu le problème planar unit distance d'Erdős, ouvert depuis 80 ans, pour moins de 1000 dollars. Résultat significatif à l'intersection IA et mathématiques.

Résumé généré par Claude — vérifié par l'humain