OpenAI et Anthropic revendiquent une percée : les humains vérifient encore
OpenAI et Anthropic affirment que leurs IA ont réfuté une hypothèse de 1999 sur 3-SAT. Un logiciel a contrôlé les preuves ; les humains relisent encore.
Thème : lean
-
-
PSI affirme que son IA a fait avancer cinq problèmes quantiques ouverts
La start-up PSI dit avoir fait avancer cinq problèmes ouverts de physique quantique avec son IA Emmy. Preuves publiées en ligne, avis des experts attendu.