Voir « conjecture » sur le Wiktionnaire. Si une conjecture se révèle indécidable à partir des axiomes usuels, elle peut être choisie comme nouvel axiome (ou réfutée par un nouvel axiome). Dans la vie ...
The artificial intelligence (AI) program DeepMind has gotten closer to proving a math conjecture that's bedeviled mathematicians for decades and revealed another new conjecture that may unravel how ...