Informatique1 rédaction
Un développeur prétend avoir prouvé la conjecture de Conway
- Un développeur affirme avoir démontré la conjecture de Conway par intuition.
- Son approche, qualifiée de « vibing », suscite scepticisme et débats.
- La communauté mathématique attend une vérification formelle.
1 rédaction rapporte ce fait
Factae établit le fait ; chaque récit est à un clic, chez sa rédaction.
Le fil de l’événement
- Démonstration inédite du théorème de Pythagore sans l’utiliser
- La conjecture de Talagrand résolue par trois mathématiciens
- L'IA Claude d'Anthropic réfute une conjecture mathématique vieille de 87 ans
- L'IA Claude d'Anthropic résout un problème mathématique ouvert depuis 1939
- Un développeur partage les défis du « vibe coding » en programmation
- Un mathématicien français infirme une conjecture de 1941 avec un contre-exemple psychédélique
- Anthropic valide un nouveau preuve informatique du dernier théorème de Fermat
- Claude d'Anthropic produit une preuve vérifiée de 13 millions de lignes du théorème de Fermat
- L'IA Claude formalise en onze jours la démonstration du dernier théorème de Fermat
- La conjecture du *k-server* résolue après des décennies de recherche
- Des mathématiciens prouvent une conjecture attendue depuis des décennies
- L’IA résout un problème mathématique majeur et bouleverse la discipline
- Un développeur prétend avoir prouvé la conjecture de Conway
