Ripoti za AI · OpenAI · 2026-10-06 · Blogu / maoni
Kushiriki maendeleo ya AI katika hisabati
Kichwa asilia: Sharing AI progress in mathematics
OpenAI imechapisha matokeo mapya kuhusu matatizo ya wazi katika hisabati kutoka kwa modeli ya kisasa kabisa ya ndani. Pia inashiriki uthibitisho rasmi wa Lean na maelezo ya utafiti kwenye GitHub.