KI als Boost für die Mathematik? Wie ein neues Tool die Software von Meta und Google übertrumpfen will

Axiom Math stellt ein neues KI-Tool zur Verfügung. Die Firma hofft, dass es schnell Fortschritte in der Mathematik bringt. Doch noch ist offen, ob es die Erwartungen erfüllt.