绉戞妧鏃ユ姤鍖椾含11鏈12鏃ョ數 锛堣鑰呭紶姊︾劧锛夈€婅嚜鐒躲€嬫潅蹇12鏃ュ彂琛ㄤ簡涓€椤归噸瑕佹垚鏋滐細鑻卞浗娣卞害鎬濈淮姝ｅ紡鎺ㄥ嚭鍏跺紑鍙戠殑鈥滄暟瀛﹀仛棰樺AI鈥滱lphaProof锛屽叾鎴愬姛璇佹槑浜嗗鏉傜殑鏁板瀹氱悊锛屽苟鍦2024骞村浗闄呮暟瀛﹀ゥ鏋楀尮鍏嬬珵璧涳紙IMO锛変腑鍙栧緱浜嗙浉褰撲簬閾剁墝鐨勪紭寮傛垚缁┿€傝繖椤圭爺绌跺睍绀轰簡AI鍦ㄩ珮闅惧害鏁板鎺ㄧ悊棰嗗煙鐨勬樉钁楄繘姝ャ€

娣卞害鎬濈淮2004骞存浘閫忛湶鍏舵贩鍚圓I绯荤粺鍦ㄥ悓骞寸殑IMO绔炶禌涓〃鐜颁紭寮傦紝浠呭樊1鍒嗗氨鑳芥憳寰楅噾鐗屻€傝€屼粖姝ｅ紡鍙戝竷璁烘枃鎺ㄥ嚭骞惰瑙ｈAI绯荤粺銆

杩欎竴绐佺牬琚涓烘槸AI鐮旂┒棰嗗煙鐨勫張涓€涓噷绋嬬銆傝繖鏄洜涓虹敤楂樻按骞崇珵璧涢鐩祴璇旳I绯荤粺锛屽凡鎴愪负璇勪及鍏堕€昏緫鎺ㄧ悊銆佹娊璞℃€濈淮鍜岃В鍐抽棶棰樿兘鍔涚殑閲嶈鏍囧噯銆傝繖绫婚鐩笉浠呰姹備弗瀵嗙殑婕旂粠鎺ㄧ悊锛岃繕娑夊強鍒涢€犳€х瓥鐣ュ拰璺ㄩ鍩熺煡璇嗘暣鍚堬紝杩滆秴鏅€氶棶绛旀垨妯″紡璇嗗埆浠诲姟銆傚洜姝わ紝鑳藉惁鍦↖MO绛夋潈濞佺珵璧涗腑鍙栧緱濂芥垚缁╋紝琚涓鸿　閲廇I鏄惁鍏峰鈥滅被浜衡€濇繁搴︽帹鐞嗚兘鍔涚殑鍏抽敭璇曢噾鐭炽€

鐩墠锛岃澶氬ぇ鍨嬭瑷€妯″瀷铏界劧鍏峰寮哄ぇ鐨勭敓鎴愯兘鍔涳紝鍗撮毦浠ラ獙璇佸叾鎺ㄧ悊鏄惁姝ｇ‘锛屽洜涓哄畠浠€氬父鍩轰簬闈炴寮忕殑鑷劧璇█杩涜璁粌鍜岃緭鍑猴紝缂轰箯涓ユ牸鐨勯€昏緫缁撴瀯銆備负搴斿杩欎竴鎸戞垬锛屾繁搴︽€濈淮鍥㈤槦灏嗗己鍖栧涔犲紩鍏ヤ竴涓悕涓篖ean鐨勬寮忔暟瀛﹁瘉鏄庣幆澧冿紝鍦ㄨ绯荤粺涓紝鎵€鏈夋帹鐞嗘楠ら兘蹇呴』绗﹀悎褰㈠紡鍖栭€昏緫瑙勫垯锛屼粠鑰岃兘澶熻鑷姩楠岃瘉銆

AlphaProof鏄笓涓鸿瘉鏄庢暟瀛﹀懡棰樿€岃璁＄殑绯荤粺銆傚洟闃熼鍏堝绾8000涓囦釜鏁板鍛介杩涜浜嗚嚜鍔ㄥ舰寮忓寲澶勭悊锛岄殢鍚庡埄鐢ㄥ己鍖栧涔犺AlphaProof鍦ㄨ繖浜涘懡棰樹腑鎺㈢储鏈夋晥鐨勮瘉鏄庤矾寰勩€傜粨鏋滄樉绀猴紝璇ョ郴缁熶笉浠呰秴瓒婁簡姝ゅ墠鏈€鍏堣繘鐨凙I妯″瀷鍦ㄥ巻鍙睮MO棰樼洰涓婄殑琛ㄧ幇锛岃繕鍦ㄤ粖骞寸殑绔炶禌涓仈鍚堝彟涓€娆句笓鏀诲嚑浣曠殑AI绯荤粺AlphaGeometry锛屽叡鍚岃В鍐充簡6閬撻涓殑4閬擄紝杈惧埌閾剁墝姘村钩銆

灏界AlphaProof鍦ㄧ珵璧涚骇鏁板鎺ㄧ悊鏂归潰灞曠幇鍑烘儕浜鸿兘鍔涳紝浣嗗洟闃熷潶鎵垮叾鐩墠浠嶅瓨鍦ㄥ眬闄愶紝渚嬪鍦ㄥ鐞嗘煇浜涢潪鏍囧噯鎴栭珮搴︽娊璞＄殑鏁板闂鏃惰〃鐜颁笉瓒炽€備粬浠寚鍑猴紝鏈潵鐨勭爺绌跺簲鑱氱劍浜庢嫇灞曠郴缁熺殑閫氱敤鎬у拰閫傚簲鎬с€備竴鏃﹁繖浜涢殰纰嶈鍏嬫湇锛孉lphaProof鏈夋湜鎴愪负鍗忓姪鏁板瀹舵敾鍏嬪鏉傛暟瀛﹂毦棰樼殑鏈夊姏宸ュ叿锛屾帹鍔ㄥ舰寮忓寲璇佹槑涓嶢I鐨勬繁搴﹁瀺鍚堛€

銆愭€荤紪杈戝湀鐐广€

鏁板瀹堕暱鏈熶互鏉ヤ緷璧栬绠楀伐鍏疯緟鍔╄В鍐冲鏉傞棶棰樺拰鏋勫缓涓ヨ皑璇佹槑锛岃€孉I鏈夋湜鍔犻€熻繖涓€杩囩▼銆傜幇鍦紝AI鍦ㄥ舰寮忓寲鎺ㄧ悊棰嗗煙杩堝嚭浜嗗叧閿竴姝ワ紝涓嶅悓浜庝緷璧栨ā绯婅瑷€妯″瀷鐨勯€氱敤AI锛屾渶鏂版垚鏋滃湪涓ユ牸閫昏緫妗嗘灦涓繍琛岋紝鍏舵瘡涓€姝ユ帹鐞嗗潎鍙獙璇侊紝鏋佸ぇ鎻愬崌浜嗙粨鏋滅殑鍙潬鎬с€傛涓句笉浠呯獊鐮翠簡AI鎺ㄧ悊鐨勫眬闄愶紝涔熶负鎺㈢储澶嶆潅鏁板鐚滄兂鎻愪緵浜嗘柊宸ュ叿锛屾洿涓烘湭鏉ヤ汉鏈哄崗浣滄敾鍏嬪墠娌跨瀛﹂毦棰樺紑杈熶簡鐜板疄璺緞銆傚叾褰卞搷灏嗚緪灏勮嚦鐞嗚璁＄畻鏈虹瀛︺€佽嚜鍔ㄥ畾鐞嗚瘉鏄庝箖鑷冲熀纭€鏁板鐮旂┒绛夐鍩熴€