Ano ang nangyari
Noong Oktubre 6, 2026, inilathala ng OpenAI sa openai/math ang mga mathematical result mula sa unreleased internal model: 372 result families at 722 manuscripts. Humigit-kumulang 42% ang machine-checked sa Lean. Kinabukasan, tatlong manuscript ang inatras dahil sa sign error. Hinimok ng Association for Human Mathematics ang mga mathematician na itigil ang pakikipagtulungan sa OpenAI.
Ano ang gagawin
- Maglagay ng verification gate bago ituring na katotohanan ang AI output.
- Unahin ang mga na-machine-check na.
- Ituring ang mabilis na retraction bilang healthy signal.