Roedd yn wythnos a adawodd fathemategwyr wedi'u syfrdanu. Yn syth ar ôl ton o achosion lle gwnaeth deallusrwydd artiffisial symud y maes yn ei flaen, honnodd OpenAI fuddugoliaeth fawr: roedd ei fodel AI diweddaraf wedi datrys Problem Gwobr Mileniwm, pos a oedd â gwobr o $1 filiwn ac a oedd wedi drysu bodau dynol am ddegawdau.
Nid oedd y cyflawniad yn edrych o gwbl fel y mae problemau mathemategol fel arfer yn cael eu datrys. Roedd cwmni preifat gwerth bron i driliwn o ddoleri wedi rhyddhau 10,000 o asiantau—systemau AI sy'n cyflawni tasgau ar eu pennau eu hunain—ar y broblem. Amcangyfrifwyd y gost yn $15 miliwn.
Mae'r llwybr tuag at AI sy'n gallu mathemateg goruwchddynol wedi bod yn glir ers amser maith, ond gwnaeth datrys problem mor arwyddocaol mor gyflym anfon tonnau sioc drwy'r maes. Mae mathemategwyr yn gofyn beth fydd yn cael ei adael iddynt os bydd gwaith sydd ar y gweill yn cael ei ysgubo i fyny a'i hawlio gan eraill, a sut y dylent hyfforddi'r genhedlaeth nesaf pan all hyd yn oed y tasgau anoddaf gael eu datrys ar wasgiad botwm.
"Rwy'n teimlo ychydig yn syfrdan," meddai'r Athro Colva Roney-Dougal, pennaeth mathemateg bur ym Mhrifysgol St Andrews. Mewn darlith gyhoeddus yn ddiweddar, dywedodd ei bod yn credu nad oedd AI yn debygol o wneud unrhyw beth rhyfeddol yn fuan. "Tri mis yn ddiweddarach, rwy'n hollol anghywir," meddai. "Rydym i gyd yn aros i weld beth sy'n digwydd. Mae'n dod mor gyflym."
Dywedodd yr Athro David Silvester, mathemategydd ym Mhrifysgol Manceinion, fod y maes yn teimlo'n "ansefydlog iawn" o ystyried cyflymder y newid. "Gallai pob problem mathemateg agored syrthio gyda digon o adnoddau," meddai. "Mae hyn yn anwrthdroadwy. Nid yw hyn yn mynd i newid."
Dywedodd yr Athro James Robinson, mathemategydd ym Mhrifysgol Warwick, mai problemau anodd yw tanwydd mathemateg, sy'n gyrru dulliau creadigol ar draws cenedlaethau. "Mae'n rhwystredig gweld y cwmnïau technoleg mawr hyn yn llosgi'r tanwydd hwn dim ond er mwyn iddynt allu brolio pa mor wych yw eu model diweddaraf," meddai. "Mae'n ymddangos fel brolio plentyndod anaeddfed ar raddfa fawr, wedi'i gefnogi gan filiynau o ddoleri a'r potensial am ddifrod amgylcheddol sylweddol mewn oes pan fo newid hinsawdd yn ôl pob tebyg yr her fwyaf sy'n ein hwynebu."
Un rheswm pam aeth Silvester i mewn i fathemateg oedd y cyffro o gracio problem. I lawer o fathemategwyr, yr wythnosau, y misoedd, a'r blynyddoedd a dreulir yn cylchdroi problem, yn ei dadansoddi, yn rhoi cynnig ar un dull ar ôl y llall, ac yn peidio â rhoi'r gorau iddi sy'n apelio. "Heb hynny, mae'r pwnc yn ymddangos yn hollol wahanol i mi," meddai Silvester.
Mae mathemategwyr eisoes yn treulio cryn dipyn o amser yn gwirio profion ei gilydd. Y math hwn o adolygiad a ddarganfu fwlch yng ngwaith Andrew Wiles ar Theorem Olaf Fermat ym 1993, gan sbarduno blwyddyn o ymdrech bellach i drwsio'r nam. Mae Silvester yn amau y gallai mathemategwyr fod yn pori dros brofion cynyddol o niferus a luniwyd gan AI. "Mae'n fwy fel dod yn gyfrifydd, rydych yn archwilio, rydych yn gwirio," meddai.
Mae effeithiau canlyniadol ledled y maes. Mae mathemategwyr yn cael eu cyflogi ar sail eu papurau a gyhoeddwyd, ond gall problemau y maent wedi bod yn gweithio arnynt am fisoedd gael eu datrys nawr gan AI mewn dyddiau. "Mae yna deimlad gwirioneddol o 'gallwn i dreulio'r mis nesaf yn meddwl am rywbeth a bydd rhywun arall yn ei wneud trwy wasgu botwm,'" meddai Roney-Dougal. "Mae hynny'n ofnadwy, ac rwy'n credu y bydd yn ofnadwy am ychydig flynyddoedd."
Mae hefyd yn ben tost i addysgu israddedigion. Mae prifysgolion yn rheolaidd yn rhoi problemau a chwisiau i fyfyrwyr eu gweithio drwyddynt gartref. Mae'r math hwnnw o waith cwrs bellach wedi marw. "Nid oes pwynt ei wneud oherwydd ni allwn warantu ei ddilysrwydd," meddai Silvester. Nawr mae'n rhaid i ddarlithwyr ddweud wrth fyfyrwyr beidio â defnyddio AI ar gyfer rhai problemau, tra'n sicrhau y gallant ei ddefnyddio ar gyfer eraill: wedi'r cyfan, mathemateg gyda chymorth AI yw'r dyfodol.
Er gwaethaf yr holl gynnwrf, mae'r Athro Alexander Paseau, sy'n astudio athroniaeth mathemateg ym Mhrifysgol Rhydychen, yn credu na fydd mathemateg yn colli llawer o'i apêl. "Mae'r her yn parhau, hyd yn oed os bydd AI yn y pen draw yn dod yn well na bodau dynol ymchwil," meddai. "Byddwch yn dal eisiau deall y fathemateg eich hun. A byddwn yn dal i'w mwynhau a gwerthfawrogi ei harddwch: bydd mwynhad pur ac harddwch prawf mathemategol bob amser yno. Ni fydd AI yn cymryd dim o hynny i ffwrdd."
Nid yw llawer o fathemateg AI yn datrys problemau o'r dechrau ond yn adeiladu ar waith dynol, ychwanegodd. Roedd datblygiad OpenAI, er enghraifft, yn dibynnu'n drwm ar waith y mathemategwyr o Madrid Diego Córdoba a Luis Martinez-Zoroa.
Disgrifiodd gwaith OpenAI ateb i broblem Navier-Stokes, sy'n cynnwys hafaliadau sy'n rhagweld sut mae hylifau, a hyd yn oed y tywydd, yn ymddwyn. Mae'n un o saith Problem Gwobr Mileniwm a gyhoeddwyd gan Sefydliad Mathemateg Clay yn 2000. Mae cyhoeddiad y cwmni ddydd Mawrth wedi arwain at bryderon pellach yn y gymuned. Gosododd OpenAI ei fodel diweddaraf i weithio ar ôl clywed sibrydion bod dau Broblem Mileniwm wedi'u datrys gan fathemategwyr. Roedd yr Athro Tristan Buckmaster ym Mhrifysgol Efrog Newydd a Levent Alpöge yn Anthropic yn gwneud gwaith cysylltiedig ar Navier-Stokes ac wedi defnyddio cynhyrchion OpenAI yn y broses. Roeddent yn amau bod model OpenAI wedi dysgu o'u gwaith sydd ar y gweill. Ar ôl ymchwiliad, gwadodd OpenAI fod hyn yn wir.
Mae rhai mathemategwyr yn dal yn wyliadwrus, fodd bynnag. "Y stori fawr nawr mewn mathemateg yw nad oes neb eisiau rhannu unrhyw beth," meddai Buckmaster wrth y Guardian. "Mae mathemateg yn wahanol heddiw nag yr oedd ychydig ddyddiau yn ôl yn unig. Mae'n rhaid i ni benderfynu beth i'w wneud am hynny."
Cwestiynau Cyffredin
Cwestiynau Cyffredin Brolio Plentyndod Anaeddfed Mathemategwyr yn Anesmwyth am Goncwest Ddiweddaraf OpenAI
Cwestiynau Dechreuwyr
Beth mae brolio plentyndod anaeddfed yn ei olygu yma
Mae'n ymadrodd y mae beirniaid yn ei ddefnyddio pan fo cwmnïau AI yn brolio am ddatrys problemau anodd mewn ffordd sy'n teimlo fel plant yn dweud gall fy nhad guro dy dad mwy am ennill sylw nag am hyrwyddo dealltwriaeth wirioneddol
Beth wnaeth OpenAI mewn gwirionedd
Cyhoeddodd OpenAI fod un o'i fodelau AI wedi helpu i ddatrys neu gyfrannu at broblem agored hir-sefydlog mewn mathemateg. Ymatebodd mathemategwyr â chymysgedd o ddiddordeb ac anfodlonrwydd
Pam mae mathemategwyr yn ddig
Nid oherwydd bod AI wedi helpu gyda mathemateg ond oherwydd sut y cyhoeddwyd y canlyniad. Mae llawer yn teimlo bod yr amlygiad wedi gorliwio rôl yr AI wedi anwybyddu cyfraniadau dynol ac wedi troi ymchwil ddifrifol yn gamp gyhoeddusrwydd
A wnaeth yr AI mewn gwirionedd ddatrys problem fathemateg ar ei ben ei hun
Fel arfer na. Yn y rhan fwyaf o achosion fel hyn, cynhyrchodd yr AI syniadau ymgeisiol neu brofion rhannol a gwiriodd mathemategwyr dynol y gwaith, ei fireinio a'i gwblhau
Ai dim ond gorfoledd yw hyn neu a oes rhywbeth go iawn yn digwydd
Y ddau. Gall AI wirioneddol gynorthwyo gydag archwilio mathemategol ond yn aml mae'r cyhoeddiadau'n gorwerthu'r hyn a ddigwyddodd
Cwestiynau Canolradd
Beth yw'r gwahaniaeth rhwng prawf a phrawf ymgeisiol
Mae prawf yn ddadl gyflawn, gwbl ddilyniant rhesymegol y gall mathemategwyr eraill ei gwirio. Mae prawf ymgeisiol yn ddadl arfaethedig sydd dal angen ei gwirio gall fod ganddo fylchau, gwallau neu ragdybiaethau cudd
Pam mae gwirio mor bwysig mewn mathemateg
Mae mathemateg wedi'i hadeiladu ar sicrwydd. Ni dderbynnir canlyniad nes y gall arbenigwyr wirio pob cam. Nid yw allbwn AI sy'n edrych fel prawf yr un peth â phrawf
Beth yw enghraifft concret o'r patrwm hwn
Pan wnaeth AlphaGeometry DeepMind a systemau diweddarach fynd i'r afael â phroblemau geometreg, roedd y canlyniadau'n wir ond yn gul hyfforddwyd y systemau ar fathau penodol o broblemau. Roedd sylw'r cyfryngau yn aml yn cymylu'r gwahaniaeth hwnnw
Pam mae cwmnïau'n fframio canlyniadau mathemateg AI mor ddramatig
Oherwydd bod "AI yn datrys problem fathemateg heb ei datrys" yn bennawd pwerus. Mae'n denu buddsoddwyr, talent a sylw'r cyhoedd. Mae fframio gofalus, gonest yn cael llawer llai o sylw
Beth yw'r niwed mewn ychydig o frolio
Mae'n ystumio dealltwriaeth y cyhoedd o AI a mathemateg ill dau, yn cysgodi'r ymchwilwyr dynol dan sylw, ac yn gallu camarwain llunwyr polisi a chyllidwyr ynghylch beth all AI ei wneud mewn gwirionedd
Cwestiynau Uwch
