Grok 4.5 auttoi kumoamaan noin 30 vuotta ratkaisemattoman matemaattisen hypoteesin
xAI
xAI:n Grok 4.5 -malli auttoi kumoamaan pitkäaikaisen matemaattisen hypoteesin, joka oli pysynyt ratkaisemattomana noin kolme vuosikymmentä. Yhteistyö korostaa kehittyneen tekoälyn hyödyllisyyttä matemaattisessa tutkimuksessa.
Raportin mukaan xAI:n kehittämä malli Grok 4.5 oli osallisena kumoamassa matemaattista hypoteesia, joka oli ollut ratkaisematta noin 30 vuotta. Saavutus korostaa tekoälyn potentiaalia monimutkaisten matemaattisten ongelmien ratkaisemisessa ja merkitsee merkittävää virstanpylvästä tekoälyn ja matematiikan leikkauspisteessä.
Lähde: xAI Grok (GNews) —
Alkuperäinen