Selon des rapports, Claude Mythos a résolu le problème Erdős emblématique d'OpenAI avec une "démonstration astucieuse et concise"

ME AI Message, l'ingénieur d'Anthropic Sholto Douglas a déclaré que Claude Mythos a résolu le problème de la conjecture de la distance unitaire d'Erdős proposé par OpenAI pendant le week-end, et a fourni une "démonstration astucieuse et concise". Ce résultat a été décrit comme un signe que l'intelligence artificielle présente un "avantage sérieux" dans le domaine des découvertes mathématiques. (Source : AiHot)
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
  • Récompense
  • 4
  • Reposter
  • Partager
Commentaire
Ajouter un commentaire
Ajouter un commentaire
FloatingTeacup
· Il y a 2h
Attendons de voir la revue par les pairs, ne vous précipitez pas pour ouvrir le champagne.
Voir l'originalRépondre0
TransparentDome
· Il y a 3h
Si c'est vrai, le prix Fields devrait-il être décerné au serveur
Voir l'originalRépondre0
TacoTreasury
· Il y a 3h
Claude commence tous à prendre la place des mathématiciens, moi je suis encore en train de faire défiler Twitter
Voir l'originalRépondre0
NekoValidator
· Il y a 3h
Le coût de vérification d'une preuve mathématique par intelligence artificielle pourrait être supérieur à celui de la preuve elle-même.
Voir l'originalRépondre0