Lean

Kutatás

Kutatás2026. szeptember 8.

OpenAI: belső AI-rendszer oldotta meg a Navier-Stokes-problémát

Az OpenAI 2026. szeptember 8-án közölte, hogy belső AI-rendszere megoldást készített a Navier-Stokes létezési és simasági problémára. A cég szerint a bizonyítás azt…

Kutatás

Kutatás2026. augusztus 1.

Az OpenAI tíz matematikai és elméleti informatikai eredményt mutatott be

Az OpenAI tíz olyan matematikai és elméleti informatikai eredményt ismertetett, amelyek a vállalat szerint régóta nyitott problémákat oldanak meg vagy visznek jelentősen…

Biztonság és etika2026. július 13.

A Microsoft formálisan ellenőrzi a Rustban írt kriptográfiai kódot

A Microsoft Research nyilvánosságra hozta a SymCrypt kriptográfiai könyvtár Rustban írt algoritmusainak formális ellenőrzéséhez használt specifikációkat és…