Les propos de Cédric Villani soulignent les progrès de l’IA en mathématiques et l’enjeu de vérifier formellement ses preuves.
Current verdict
Le « oui » reste minoritaire, estimé à 35 % avant le 1er juillet 2027.
Updated Oct 8, 2026
Analysis updated
Prévision maintenue à 35 % avec une confiance de 38 % : le lot de manuscrits soutient la plausibilité technique [3][4], mais les extraits ne documentent toujours pas de résultat fo…
First analysis
Première estimation à 35 % pour une annonce conforme : le volume publié et l’appréciation de Villani soutiennent la faisabilité [2][4], mais les seuls extraits disponibles ne docum…
Scope: Une annonce officielle du CNRS devra présenter, avant le 1er juillet 2027, un théorème nouveau dont une IA a produit la preuve. La preuve devra être publiquement accessible et vérifiée par un assistant de preuve ; une simple aide à la rédaction ne suffira pas.
Will the recent trend of countries creating their own "AI sovereignty" through national AI models and data infrastructure lead to a fragmented global AI landscape by 2030?
62%Several nations are prioritizing national AI development and data control. This is generating discussion on whether such efforts will lead to isolated AI ecosystems instead of a globally integrated one, impacting technological advancement and international cooperation.
Will the recent trend of major tech companies developing and releasing open-source large language models (LLMs) continue to accelerate, leading to a significant increase in the number of open-source LLMs surpassing proprietary models in performance and adoption by 2028?
42%Following Google's recent announcement regarding the open-sourcing of key components of its AI models, public interest and discussion online are heavily focused on the implications of this new paradigm. This trend, already observed with Meta's Llama series, is sparking debates about accessibility, innovation, and the future of AI development.
Will generative AI lead to a significant increase in frivolous patent lawsuits by 2028, overwhelming intellectual property courts?
25%The rise of generative AI could lead to a massive increase in patent infringement claims, as AI-generated inventions blur the lines of originality and ownership. This trend is sparking debate among legal experts and tech innovators about the future of intellectual property law and the capacity of existing legal frameworks to handle the anticipated surge in litigation.
Will the new generation of AI-powered personalized political campaigns lead to unprecedented voter manipulation in the 2028 US Presidential Election?
42%With the rapid advancements in AI, concerns are growing about its potential misuse in political campaigns, particularly in microtargeting voters with highly personalized and potentially misleading information. This is a hot topic across political and tech discussions, especially as the 2028 US election cycle begins to loom.
Will the recent trend of countries hoarding AI chips and restricting exports lead to a "chip war" that severely hampers global AI development by 2028?
75%Amidst growing geopolitical tensions and protectionist policies, countries are increasingly viewing advanced AI chips as strategic national assets. News of export restrictions and attempts to build domestic chip manufacturing capabilities are constantly in the headlines, raising concerns about a fragmented AI landscape and slowed innovation.
Will the widespread adoption of AI in drug discovery lead to a significant increase in the number of FDA-approved drugs by 2030?
40%AI's potential to revolutionize drug discovery is a hot topic, with many debating if it will truly accelerate the development and approval of new pharmaceuticals by the end of the decade.