Markdown edition

AI-translated from English; not yet reviewed by a fluent editor.

# Hinamon ng Association for Human Mathematics ang paglalabas ng matematikang pananaliksik ng OpenAI

> Tutol ang Association for Human Mathematics sa pagmamay-ari ng OpenAI sa matematikang pananaliksik at sa maramihang paglalabas nito. Ipinapakita ng mga pagbawi at pag-aayos sa mga patunay na nagbabago ang talaan, hindi na hinatulan ang buong koleksiyon.

By BIG CHANGE Editorial

Published: 2026-10-09T18:23:58.826Z
Updated: 2026-10-09T18:23:58.826Z
Canonical: https://bigchange.ai/blog/association-human-mathematics-openai-math-release

![A wheeled library cart holds many plain manuscript booklets beside one separate blank response sheet in a freestanding holder.](https://bigchange.ai/api/media/file/ahm-math-release-response-hero-v1.png)
Conceptual illustration of AHM's response to OpenAI's large mathematics-manuscript release. It does not show AHM's actual statement, a repository screen, a proof, or a verdict on the manuscripts. AI-generated illustration by BIG CHANGE.

Hinimok ng Association for Human Mathematics (AHM) ang mga matematiko na tumigil sa pakikipagtulungan sa OpenAI matapos maglabas ang kumpanya ng malaking koleksiyon ng matematikang binuo ng AI noong Oktubre 6. Sa kanilang [pahayag noong Oktubre 7](https://www.ahmath.org/statements), pangunahing tinututulan ng grupo ang paggamit ng pribadong modelo sa mga mahihirap na problemang wala pang solusyon at ang sabayang paglalabas ng daan-daang papel na nagmula rito. Kinukuwestiyon nito ang pahayag ng OpenAI na isinusulong ng ganitong paraan ng paglalathala ang matematika, kahit na nabibigyang-daan ng mga pampublikong file ang pagsusuri sa mga indibidwal na pahayag.

Iyan ang paninindigan ng Communications Working Group ng AHM. Hindi iyon botohan ng komunidad ng mga matematiko ni pasyang mali ang bawat manuskrito. [Muling inilathala ni Terence Tao ang teksto bilang panauhing pahayag ng AHM](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/), at tinukoy ang mga may-akda nito sa halip na angkinin itong sarili niyang pahayag.

## Ang malaking pagbabago

- **Ano ang nagbago:** Lumawak na ang pagtatalo tungkol sa repository ng OpenAI lampas sa bisa ng mga indibidwal na resulta. Hinahamon ng AHM ang papel ng kumpanya sa pagpili ng mga suliraning pananaliksik at pagtatakda ng mga kundisyon kung paano natatanggap ng mga matematiko ang mga kinalabasan.
- **Bakit ito mahalaga:** Tungkol ang alitan sa kung sino ang makapagsusuri sa kagamitang bumuo ng mga resulta at kung sino ang sasalo sa trabahong magsuri at magpaliwanag sa maramihang paglalabas. Nananatili ang mga tanong na iyon kahit maitama o maisapormal ang isang partikular na patunay.
- **Ano ang dapat bantayan:** Sinabi ng OpenAI na magdaragdag ito ng mga pormalisasyon. Lilinawin ng malayang pagsusuri sa mga binagong pahayag at ng anumang susunod na pagwawastong may bersiyon kung aling mga partikular na resulta ang kayang patunayan at unawain ng mga matematiko.

## Ano ang tinututulan ng AHM

Sinasabi ng AHM na hindi hiniling ng mga matematiko ang gawaing ito. Tinatawag nito ang paglalabas ng mahigit 700 file na pagpapakitang-lakas sa halip na iskolarling gawain, at hinihiling sa mga mambabasa na kuwestiyunin ang halaga nito sa larangan. Binabanggit din ng pahayag ang independent Advisory Group on Mathematics and Artificial Intelligence (AGMAI), at sinasabing binale-wala ng OpenAI ang paunang kahilingan ng grupo na itigil ang pagsubok ng mas mataas na matematika sa mga panloob na modelo.

May malinaw na batayan ang pagtukoy na iyon. [Iminumungkahi ng mga alituntunin ng AGMAI noong Setyembre 29](https://agmai.org/general-sep29/) na itigil ng mga nangungunang laboratoryo ang pagsubok ng mahihirap na problema sa mga modelong pag-aari nila. Nagbibigay rin ang dokumento ng mga kondisyunal na mungkahi para sa paglalabas ng mga resulta kung nagawa na ng mga laboratoryo ang mga ito: malinaw na pagsulat sa matematika, angkop na mga repository, pagsisiwalat kung paano nabuo ang gawain, pormalisasyon kung maaari, at suporta sa pag-unawa ng tao. Ayon dito, nagmula ang mga mungkahi sa mahigit 600 sagot sa sarbey at sinuportahan ng pinakamalaking bahagi ng mga sumagot. Hindi ginagawang utos ng AGMAI o pasya ng buong larangan ng mga katotohanang iyon ang sumunod na panawagan ng AHM na tumigil sa pakikipagtulungan sa OpenAI.

Sa kanilang [tugon noong Oktubre 6 sa paglalabas](https://agmai.org/), malinaw na sinabi ng AGMAI na hindi nangangahulugan ang papel nitong tagapayo na sinusuportahan nito ang proseso ng OpenAI o hinahatulan ang epekto ng mga resulta. Inilarawan nito ang paglalathala bilang simula ng pagsusuri ng tao at sinabing ang komunidad lamang ng mga matematiko ang makapagtatakda kung nasunod ang mga mungkahi nito. Nauna nang [inilarawan ng OpenAI ang grupo bilang malaya](https://openai.com/index/advisory-group-on-mathematics-and-ai/) at sinabing magpapayo ito tungkol sa pagsusuri at komunikasyon, ngunit hindi nito kokontrolin ang bilis ng panloob na pananaliksik ng kumpanya. Mahalaga rito ang pagkakaiba ng payo at kapangyarihan: hinahamon ng puna ng AHM ang mga pasya ng OpenAI, hindi nito pinatutunayang inaprubahan o bineto iyon ng panlabas na lupon.

## Nananatiling kailangang suriin ang nagbabagong talaan

Sinasabi ng [repository](https://github.com/openai/math) ng OpenAI na nasa magkakaibang yugto ng pagpapatunay ang mga gawain sa koleksiyon. Nakalista sa kasalukuyan nitong talaan ang **719 manuskrito sa 372 pamilya**. Maaaring maglaman ang isang pamilya ng ilang papel. Sinasabi ng repository na walang pormalisasyong Lean ang ilang manuskrito at maaaring may problema ang ilang resultang hindi naipormalisa; iniulat nitong pormalisado ang humigit-kumulang 42% ng mga pangunahing resulta. Ang pormalisasyon ay tiyak na argumentong nasusuri ng makina para sa isang tiyak na pahayag, hindi pangkalahatang kumpirmasyon sa bawat pahayag ng kasamang papel; hindi rin kapalit ng malayang pagsusuring matematikal ang katayuan sa repository. Ipinaliwanag ng dati naming [gabay sa mga file at pagkakaayos ng mga patunay](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) kung paano subaybayan ang saklaw na iyon.

Nagbago ang bilang nang bawiin ang tatlong manuskrito. Iniuugnay ng [talaan ng kasaysayan ng OpenAI noong Oktubre 7](https://github.com/openai/math/blob/main/history.md) ang mga pagbawi sa maling tanda sa isang patunay na nakaapekto rin sa dalawa pang papel na nakasalalay rito. Itinatala rin nito ang mga pagbabago sa 14 pang manuskrito, pag-update ng mga sanggunian sa 13 pa at anim na dagdag na pormalisasyon. Ipinaliliwanag ng aming [ulat tungkol sa tatlong abiso ng pagbawi](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error) ang mas limitadong konklusyon: hindi na pinatutunayan ng mga natukoy na argumento ang mga pahayag ng mga papel na iyon; hindi pinabubulaanan ng mga abiso ang mga pahayag sa matematika. Magkakaibang katayuan ang binawing patunay, inayos na manuskrito at pormalisadong resulta.

Ipinakikita ng mga pagbabago ang gawaing maaaring kailanganin sa pagsusuri ng malaki at hindi pantay ang pormalisasyon na koleksiyon. Pagsusuri namin ito sa talaan ng repository, hindi pahayag ng AHM. Tinututulan ng AHM ang pasyang buuin at ilabas ang koleksiyon sa pamamagitan ng modelong pag-aari ng kumpanya. Samantala, nagbigay ang OpenAI ng mga materyal na may bersiyon na maaaring suriin, itama at talakayin ng mga mananaliksik. [Tinalakay ng dati naming pagsusuri sa kapasidad ng pagrepaso](https://bigchange.ai/blog/ai-research-discovery-review-capacity) ang trabahong kailangan upang gawing nauunawaang matematika ang malaking hanay ng mga iminungkahing resulta. Nagdaragdag ang kasalukuyang pagtatalo ng mas matalas na tanong: nakatutulong ba sa mga inaasahang magsuri ang paglikha ng ganito karaming gawain sa ganitong paraan?

## Mga sanggunian at karagdagang babasahin

- [Pahayag ng Association for Human Mathematics tungkol sa paglalabas ng OpenAI noong Oktubre 6](https://www.ahmath.org/statements), Oktubre 7, 2026. Pangunahing sanggunian sa mga pagtutol ng AHM at panawagan nitong itigil ang pakikipagtulungan. Inilalahad nito ang paninindigan ng working group; hindi nito itinatatag ang pananaw ng lahat ng matematiko o hinahatulan ang mga indibidwal na patunay.
- [Muling paglalathala ni Terence Tao sa panauhing sanaysay ng AHM](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/), Oktubre 7, 2026. Tinutukoy ang teksto bilang panauhing pahayag ng AHM at itinuturo ang mga mambabasa sa orihinal na pahina ng samahan.
- [Mga gabay ng AGMAI sa responsableng paglalabas](https://agmai.org/general-sep29/), Setyembre 29, 2026, at [tugon nito sa paglalabas ng OpenAI](https://agmai.org/), Oktubre 6, 2026. Ipinakikita ng mga ito ang pagtutol ng grupo sa pagmamay-ari ng mga pagsubok, ang mga kondisyunal nitong mungkahi sa paglalabas, at ang malinaw na limitasyon sa kahulugan ng papel nitong tagapayo.
- [Anunsiyo ng OpenAI tungkol sa grupong tagapayo](https://openai.com/index/advisory-group-on-mathematics-and-ai/), Setyembre 21, 2026. Inilalahad kung paano inilarawan ng OpenAI ang kasarinlan at saklaw ng grupo, gayundin ang kawalan nito ng kontrol sa bilis ng panloob na pananaliksik.
- [Repository ng matematikang pananaliksik ng OpenAI](https://github.com/openai/math) at [kasaysayan ng mga bersiyon](https://github.com/openai/math/blob/main/history.md), sinuri noong Oktubre 9, 2026. Mga pangunahing tala tungkol sa kasalukuyang bilang na 719 manuskrito sa 372 pamilya, hindi pantay na pormalisasyon, at mga pagbawi at pagbabago noong Oktubre 7. Mga tala ito ng OpenAI tungkol sa sarili nitong mga pahayag at pagwawasto, hindi malayang pagpapatunay sa matematika.

## Sources

- [Pahayag ng Association for Human Mathematics tungkol sa paglalabas ng OpenAI noong Oktubre 6](https://www.ahmath.org/statements) — Pangunahing pahayag ng Communications Working Group ng AHM, hindi botohan ng buong larangan.
- [Muling paglalathala ni Terence Tao sa panauhing sanaysay ng AHM](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/) — Tinutukoy ang muling inilathalang teksto bilang panauhing pahayag ng AHM.
- [Mga gabay ng AGMAI sa responsableng paglalabas](https://agmai.org/general-sep29/) — Paunang pagtutol sa mga pagmamay-aring pagsubok at mga kondisyunal na mungkahi sa paglalabas.
- [Tugon ng AGMAI sa paglalabas ng OpenAI](https://agmai.org/) — Itinatanggi ang pagsang-ayon o paghatol sa epekto at ipinauubaya sa komunidad ng matematiko ang pagsusuri.
- [Anunsiyo ng OpenAI tungkol sa grupong tagapayo](https://openai.com/index/advisory-group-on-mathematics-and-ai/) — Salaysay ng OpenAI tungkol sa kasarinlan at saklaw ng grupo at kawalan nito ng kapangyarihan sa bilis ng pananaliksik.
- [Repository ng matematikang pananaliksik ng OpenAI](https://github.com/openai/math) — Kasalukuyang bilang na 719 manuskrito, mga paalala sa pagpapatunay at humigit-kumulang 42% na pormalisasyon, ayon sa OpenAI.
- [Kasaysayan ng repository ng matematikang pananaliksik ng OpenAI](https://github.com/openai/math/blob/main/history.md) — Tatlong pagbawi, mga pagbabago, pag-update ng sanggunian at dagdag na pormalisasyon.