UUSOpenAI lahendas Astra mudeliga kümme matemaatikaprobleemi1. august 2026OpenAI, Tehisintellekti mudelidOpenAI demonstreerib Astra mudeli abil lahendusi kaua lahendamata matemaatikaprobleemidele ning avaldab Lean 4 formaliseeringud ja LLM-i genereeritud tõenduste rekonstruktsioonid. Share on:
