Lean 4

OpenAI tilkynnti þann 1. ágúst að óútgefin Astra líkanafjölskylda þeirra hefði leyst 10 langvarandi óleyst vandamál í stærðfræði og fræðilegri tölvunarfræði. Fyrirtækið birti 249 blaðsíðna handrit og fullgildar Lean 4 sönnunarvottanir á GitHub. Niðurstöðurnar spanna svið á borð við rúmfræði…

OpenAI greindi frá því á laugardag að innra líkan fyrirtækisins, Astra, hafi skilað nýjum niðurstöðum í 10 vandamálum í stærðfræði og fræðilegri tölvunarfræði sem höfðu verið óleyst í að minnsta kosti áratug. Fyrirtækið birti vélstaðfestar sannanir með hverri fullyrðingu og…