Apa yang berlaku
Pada 6 Oktober 2026, OpenAI menerbitkan di openai/math hasil matematik daripada model dalaman belum dilancarkan: 372 keluarga hasil dan 722 manuskrip. Kira-kira 42% disemak mesin dalam Lean. Keesokan harinya tiga manuskrip ditarik kerana ralat tanda. Association for Human Mathematics menggesa ahli matematik berhenti bekerjasama dengan OpenAI.
Apa yang perlu dilakukan
- Tetapkan pintu pengesahan sebelum menerima output AI sebagai fakta.
- Utamakan pengumuman yang sudah disemak mesin.
- Anggap penarikan pantas sebagai isyarat sihat.