Passons en revue les relations publiques d'Harmonic de la semaine dernière : 1. Il a été affirmé qu'Aristote avait résolu la plupart des problèmes d'Erdős, alors qu'en réalité, le logiciel a contribué à la formalisation de problèmes ayant déjà fait l'objet de solutions humaines. 2. Ils ont prétendu avoir remporté le trophée Putnam en premier, alors que ce n'était pas le cas. 3. On prétend que le concours international d'Oxford (IMO) est plus difficile que le concours Putnam car les démonstrations sont plus longues. Je ne sais pas si le gestionnaire des réseaux sociaux a des connaissances techniques, alors je ne tiens pas compte de son avis.
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.