2024-07-26
한어Русский языкEnglishFrançaisIndonesianSanskrit日本語DeutschPortuguêsΕλληνικάespañolItalianoSuomalainenLatina
Baijiao Occidentem oritur ab Aofei Temple
Qubits |
Modo, magnum exemplum rursus urbem devicit!
Google DeepMind pronuntiavit suum AI "victum" nomisma argenteum in IMO (Olympiade Mathematica), et unum tantum punctum ab numismate aureo!
Etiam recte audisti! Olympias Mathematica est quaestio plerisque hominibus difficilis. Scire debes de participibus 609 IMO hoc anno, tantum 58 numisma aureum attigisse.
Hoc tempus, Google AI solvitur 4 de 6 quaestionibus in 2024 IMO certamine, etSemel score perfectum feceris, summam 28 punctorum habebis . (Plena score puncta est XLII, numisma aurum score puncta XXIX est)
Inter eos, pro quarta quaestione geometriae, AI tantum 19 secundis sumpserunt? !
Sexta quaestio, quae hoc anno difficillima dicitur, quinque tantum decertantes hoc anno lucrati sunt et omnino recte.
Eventus hoc tempore etiam professionally certificati sunt ab IMO Organising Committee - professor Timotheus Gowers, IMO auri medalist et Agri Medal victor, et Dr. Josephus Myers, duo-time IMO auri medalist et praeses 2024 IMO Issue Selection Committee.
Timotheus Gowers Professor protinus exclamavit:Ultra statu-of-arte gradu scio。
Quomodo Laikangkang facere?
Duo membra familiae Alphabetici Google quae IMO numisma argenteum hoc tempore vicit, singula specialia in industria digitali sunt.
Primum, novum membrum-AlphaProof cognosceremus.
Ratio propriae disciplinae est quae mathematicis sententiis uti potest verbis formalibus inniti. Componit exempla linguae praeexercitatae cum AlphaZero supplementi studiorum algorithm.
Per pulchre-tuning Gemini, consors potest sponte linguas naturales in locutiones formales linguas Lean enuntiationes convertere, magnas quaestiones mathematicas ripas creans.
Adversus problema, AlphaProof candidatos solutionem generat et deinde probat vel improbat hos candidatos quaerendo gradus probationis possibilis in Lean.
Quaelibet probatio inventa et verificata adhibita est ad exemplar linguae AlphaProof confirmandi, unde suam facultatem solvendi graviores difficultates subsequentes auget.
In primis paucis septimanis certationis, decies centena millia IMO graduum quaestionum in repetito cyclo exercita est.
Disciplina ansarum etiam in certationibus adhibentur, ubi probationes sui continenter confirmantur donec integra solutio inveniatur.
Inspice quid post evolutionem factum sitAlphaGeometria 2 . Est systema neuro-symbolicum hybridum in quo exemplar linguae Gemini innititur.
Praedecessor eius 1.0 in rerum natura hoc anno etiam factu est:Geometriam attingens IMO gradu numismatis aurei sine demonstratione humana。
Praecedente versione comparatus, ordo magnitudinis maior synthetica notitia de integro exercendae utitur. Et machina symbolica qua utitur velocior est duorum ordinum magnitudinis quam praedecessoris sui. Cum novae difficultates offenduntur, nova mechanismus cognitio communicans adhibetur ut coniunctis provectis diversarum arborum investigationum ad problemata multipliciora solvenda.
Ante certamen officiale, iam LXXXIII% omnium problematum geometriae IMO per praeteritum XXV annos iam solvere potuit, cum eius Decessoris solutio tantum 53% erat.
In hoc anno IMO contentio, tantum XIX secundis ad quartam quaestionem complendam suscepit.
Tunc inspiciamus quomodo hi duo homines hoc tempore IMO cooperantur.
Primo, problema manuale transfertur in linguam mathematicam formalem ut per systema comprehendi possit.
Scimus in certamine humano, responsiones subiciantur bis, singulis diebus 4.5 horis diuturnis.
Duo systemata Google systemata primum unam quaestionem paucis minutis solvunt, reliquae difficultates triduum sumpserunt.
Ultimo, AlphaProof solvitur duas problemata Algebrae et unum problema theoriae numeri determinando responsa eorumque rectitudinem probans.
Haec quaestio difficillima in lite includit, quae sexta quaestio est, quinque tantum scaenicos in certamine IMO huius anni solvuntur.
AlphaGeometria 2 problema geometriae solvit, dum duo problemata coniunctio incerta manent.
Praeterea, Turma Google etiam experimentum fecit cum systemate naturali in Geminis ratiocinandi. Aliis verbis, nihil attinet problema in linguam formalem transferre et cum aliis AI systematibus adhiberi potest.
Manipulus dixit se etiam plures AI rationes explorare ut rationes mathematicas promoveant.
Plura technica de AlphaProof etiam mox dimittenda cogitaverunt.
Videns harum duarum rationum observantiam, reticulati dicebant se "mathematicos non intelligere, sed abhorrent".
Scott Wu, Cognitionis AI fundator, AI programmator Devin turmae dixit:
Eventus vere attonitus. Olympias haedo mihi omnia fuit. Numquam putaverunt se per X annos intellegentiam artificialem solvendam esse.
OpenAI physicus Noam Brown tortor ligulam etiam aperuit ad gratulandum;
Tamen quidam reticulati dixerunt, si vexillum certationis tempus consecutum est (contentio in duos dies dividitur, in diem quattuor et dimidium horas, et cotidie tres problemata solvuntur), duo AI systemata solum unum ex actu solvere possunt. sex questiones.
Haec propositio a quibusdam reticulis statim refellitur.
In hoc sem, celeritas non est maxima cura. Si numerus fluitantium operationum (flops) constans manet, computandi facultates augendae tempus minuendi solvendi problema requiritur.
Qua de re etiam quidam retiarii quaesiverunt;
Duae AI systemata quaestiones solvendas non respondent. Aut alia sunt restrictiones?
Timotheus Gowers professor cogitationes suas tweeted:
Si decertantes homines in singulis quaestionibus maius tempus terere liceret, turpis eorum proculdubio superior esset. Attamen, pro AI systemata, hoc longe superavit facultates probatorum theorematis automatis antecedentis; secundo, prout efficientia melioratur, tempus exigendi expectatur ut ulterius minuatur.
Sed in praeterito biduo, magnum exemplar adhuc adhaesit in "Qui numerus maior, 9.11 vel 9.9?" !
Animum perdidi, et nunc subito cogitabam et mentem recepi.
Nvidia physicus Jim Fan exponit: Sicdisciplina notitia distributionConsultatio.
Systema Google in formalibus probationibus et machinationibus symbolicis specialibus domain instructum est. Aliquatenus maxime propriae sunt in solvendis Olympiadibus, quamquam in magnis exemplaribus generalibus fundantur.
Disciplina in GPT-4o posita magnam vim continet codicis GitHub datae, quae notitias mathematicas longe superet. In versionibus programmatibus "v9.11>v9.9", hoc graviter delabi potest distributionem. Itaque hic error satis iustificatur.
De hoc novo phaenomeno sic describit
Miram admodum regionem indagavimus, quasi exoplanetam quae Terrae similis est, sed vallibus peregrinis plena.
Sunt etiam alacres retiarii qui derivari ab OpenAI sumpserunt.
Ad haec responsum Ultraman erat:
Relationes nexus:
[1] https://x.com/googledeepmind/status/1816498082860667086?s=46
[2] https://x.com/jeffdean/status/1816498336171753948?s=46
[3] https://x.com/quocleix/status/1816501362328494500?s=46
[4] https://x.com/drjimfan/status/1816521330298356181?s=46
[5] https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
Colligere et ordinare notitias novissimas nuntiorum et liberam facere omnibus reprimendis.
