OpenAI je z novim modelom Astra rešil 10 dolgo odprtih matematičnih problemov in priložil strojno preverljive dokaze. Dosežek odpira nova vprašanja o prihodnosti človeške matematike in recenziranja. Več
OpenAI z modelom Astra rešil 10 desetletij odprtih matematičnih problemov objavljeno na Računalniške novice.