గణితంలో AI పురోగతిని పంచుకోవడం

అంతర్గత frontier మోడల్ నుంచి గణితంలోని పరిష్కారం కాని సమస్యలపై కొత్త ఫలితాలను OpenAI ప్రచురిస్తోంది; Lean proof formalizationలు, పరిశోధన వివరాలను GitHubలో పంచుకుంటోంది.

అసలు మూల భాష · ఇంగ్లీష్

తనిఖీ చేశారు · 10 అక్టోబర్, 2026