Google susține o descoperire în matematică cu modele AI care rezolvă dovezi

Google susține o descoperire în matematică cu modele AI care rezolvă dovezi

Mărește / O ilustrație oferită de Google. (credit: Google) Joi, Google DeepMind a anunţat că sistemele AI numite AlphaProof și AlphaGeometry 2 au rezolvat patru din șase probleme din acest an. Olimpiada Internațională de Matematică (IMO), obținând un punctaj...
×