Kushiriki maendeleo ya AI katika hisabati

OpenAI inachapisha matokeo mapya kuhusu matatizo ya hisabati yasiyosuluhishwa kutoka modeli ya ndani ya kiwango cha juu na kushiriki uundaji rasmi wa uthibitisho wa Lean na maelezo ya utafiti kwenye GitHub.

Lugha ya chanzo asili · Kiingereza

Imehakikiwa · 10 Oktoba 2026