07. October 2026
OpenAI har publisert nye resultater for uløste matematiske problemer, generert av en intern, avansert modell under utvikling. Selskapet har frigitt forskningsdetaljene og de formelle bevisene i Lean – et verktøy og programmeringsspråk som brukes til å verifisere matematisk logikk – åpent på GitHub. Dette markerer et viktig skritt fremover for kunstig intelligens innen presis logisk resonnering.
[Kilde: OpenAI Blog]
Tidligere ingeniører fra fintech-selskapet Ramp har hentet 20 millioner dollar til sin nye plattform, Melius, etter å ha skrotet sitt aller første produkt. Snuoperasjonen har gitt raske resultater, og selskapet passerte over 1 million dollar i årlige repeterende inntekter (ARR) i løpet av bare to måneder etter relanseringen.
[Kilde: TechCrunch AI]