Pagbabahagi ng pag-usad ng AI sa matematika
Naglabas ang OpenAI ng mga bagong resulta mula sa internal frontier model tungkol sa mga hindi pa nalulutas na problema sa matematika at ibinahagi sa GitHub ang Lean proof formalization at detalye ng pananaliksik.
Wika ng orihinal na source · Ingles
Basahin ang orihinalNasuri · Oktubre 10, 2026