Un sistem de inteligență artificială dezvoltat de start-up-ul Axiom a reușit să furnizeze dovezi pentru mai multe ipoteze matematice care, timp de ani de zile, au rămas fără soluție, potrivit cercetătorilor implicați și unei analize publicate de revista Wired.