L'IA face aux grands problèmes du monde ─ Mathématiques
Les sciences et le savoir avancés par l'IA, par discipline
Flux RSS · 3 éléments
L'IA se rapproche de la résolution de l'hypothèse de Riemann, l'un des problèmes les plus difficiles des mathématiques
Titre original: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems
OpenAI publie en ligne 700 prépublications de mathématiques : les mathématiciens sont en colère
Titre original: OpenAI posts 700 maths preprints online: mathematicians are up in arms
OpenAI a utilisé un modèle non publié sur des centaines de problèmes mathématiques très en vue et a publié sur GitHub, le 6 octobre, plus de 700 prépublications générées par IA. Certains mathématiciens ont salué les solutions apportées à des problèmes de longue date, tandis que d'autres se sont plaints sur les réseaux sociaux de s'être fait devancer. Un mathématicien a qualifié ce déluge de « slopocalypse », même si le contenu pourrait néanmoins s'avérer formellement correct.
Claude a amélioré une borne inférieure établie de longue date pour la proportion de zéros de la fonction zêta de Riemann qui satisfont l'hypothèse de Riemann
Titre original: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis
L'hypothèse de Riemann, un problème non résolu, affirme que les zéros de la fonction zêta de Riemann se trouvent tous sur une certaine droite verticale. En s'attaquant au problème, une version de recherche non publiée de Claude ne l'a pas démontrée, mais a amélioré une borne inférieure ancienne sur la proportion de zéros qui la vérifient, la faisant passer de 41,6 % à 67,2 %. Deux mathématiciens d'Anthropic ont validé l'article et rédigé une note informelle d'expert, et Claude a également produit une preuve vérifiable formellement. Ce résultat ne devrait pas mener à une démonstration de l'hypothèse elle-même.