Une IA résout une énigme de géométrie vieille de 80 ans. Que pensent les mathématiciens de cette avancée ?
Huit décennies après que Paul Erdős ait posé le problème de la distance unitaire en 1946, une IA à usage général a produit des configurations qui dépassent les bornes conjecturées de longue date, prouvant au moins n^(1+δ) paires de distance unitaire pour un certain δ>0. Des mathématiciens de Princeton ont vérifié le résultat, avec des figures comme Tim Gowers et Arul Shankar le qualifiant d’avancée significative. Points clés : OpenAI a résolu l’énigme de Paul Erdős de 1946 avec des constructions
Coinpedia·05-31 21:24