மே மாதத்தில், ஒரு தளத்தில் உள்ள புள்ளிகள் குறித்த கேள்வி எதிர்பாராத பதிலைத் தந்தது. செப்டம்பருக்குள், திரவங்களின் ஒருமையின்மை குறித்து AI ஆய்வகங்கள் வாதங்களை வெளியிட்டன; கணினிகள் நிரூபணங்களைச் சரிபார்க்க உதவும் கோப்புகளும் அவற்றுடன் வந்தன. இந்த அறிவிப்புகளுக்கு இடையில் புதிய எதிருதாரணங்கள், மேம்பட்ட வரம்புகள், ஃபெர்மாவின் இறுதி தேற்றத்தின் முறையாக்கம் ஆகியவை வெளிவந்தன.

AI கணிதத்தின் மாற்றத்தை, முறியடிக்கப்பட்ட ஊகங்களின் எண்ணிக்கையாக மட்டும் பார்க்க முடியாது. இந்த முடிவுகள் வெவ்வேறு கேள்விகளைக் கேட்கின்றன, வெவ்வேறு வகை ஆதாரங்களைக் கொண்டுள்ளன, மேலும் முடிக்கப்படாத பணிகளையும் விட்டுச் செல்கின்றன. ஓர் எதிருதாரணம், சிறந்த சாத்தியமான விடையைக் கண்டுபிடிக்காமலேயே நிலவிய நம்பிக்கையைத் தகர்க்கலாம். புகழ்பெற்ற ஊகம் இன்னும் தீர்க்கப்படாதபோதும் மேம்பட்ட வரம்பு முக்கியமாக இருக்கலாம். கணினியில் சரிபார்க்கப்பட்ட நிரூபணம் ஒரு கூற்றை நிறுவலாம்; ஆனால் அதன் கருத்துகள் வேறு இடங்களில் ஏன் பயனுள்ளதாக இருக்கும் என்பதை அது விளக்காமல் போகலாம்.

OpenAI-யின் மே 20 அலகுத் தொலைவு அறிவிப்புக்கும் செப்டம்பரின் நேவியர்–ஸ்டோக்ஸ் கூற்றுக்கும் இடையிலான முக்கிய முன்னேற்றங்களை, 2026 செப்டம்பர் 22 வரை கிடைத்த தகவல்களின் அடிப்படையில் இந்தக் கட்டுரை ஆராய்கிறது. இடைப்பட்ட முக்கிய அறிவிப்புகளும் அவற்றிலிருந்து வளர்ந்த ஆய்வுகளும் இதில் இடம்பெறுகின்றன. AI உதவியுடன் வெளியான ஒவ்வொரு கணிதக் கட்டுரையையும் பட்டியலிடுவது இதன் நோக்கமல்ல; இந்தத் தொடர் நிகழ்வுகளுக்கான வழிகாட்டி இது. மேற்கோள் காட்டப்பட்ட அறிவிப்புகள், தொடர்புடைய தேற்றக் கூற்றுகள், ஆய்வுகளின் அறிமுகங்கள், சரிபார்ப்பு ஆவணங்கள் ஆகியவற்றைப் படித்துள்ளோம். இந்த நிரூபணங்களை நாங்கள் தனியாக மதிப்பாய்வு செய்யவோ, அவற்றின் முறையாக்கங்களை மீண்டும் உருவாக்கவோ இல்லை.

முன்னேற்றத்துக்கான வலுவான ஆதாரத்தில் இரண்டு கூறுகள் உள்ளன என்பதே எங்கள் மையக் கருத்து: தீவிரமான ஆய்வுக்குரிய கணித வாதங்களை இயந்திரங்கள் உருவாக்குகின்றன; அந்த வாதங்களில் சிலவற்றிலிருந்து மனிதர்கள் ஏற்கெனவே மேலும் கணிதத்தைப் பெறுகின்றனர். இதுவே நீடித்த முன்னேற்றமாகுமா என்பது, இந்தப் பணியைச் சரிபார்க்கவும் விளக்கவும் விரிவாக்கவும் செலவிடப்படும் வளங்களைப் பொறுத்தது.

மே: எதிருதாரணம் வடிவியலில் புதிய பாதையைத் திறக்கிறது

அலகுத் தொலைவு சிக்கலைக் கற்பனை செய்வது எளிது. ஒரு தளத்தில் சில புள்ளிகளை வைத்து, சரியாக ஓர் அலகு தொலைவில் உள்ள புள்ளி ஜோடிகளை எண்ணுங்கள். புள்ளிகளைச் சேர்க்கச் சேர்க்க, அந்த எண்ணிக்கையை எவ்வளவு அதிகரிக்க முடியும்?

பல எர்டோஷ் சிக்கல்களில் மதிப்பிடப்பட்ட உள்நிலைப் பொது-நோக்கு தர்க்க மாதிரி ஒன்று புதிய அமைப்பைக் கண்டறிந்ததாக OpenAI-யின் மே 20 அறிவிப்பு கூறியது. அந்த வாதத்தை ஆய்ந்த வெளி கணிதவியலாளர்கள் எழுதிய தனித் துணைக் கட்டுரையையும் அது வெளியிட்டது. அந்த இரண்டாவது ஆவணம் இருப்பது முக்கியம்: ஆய்வகத்தின் மாதிரி குறித்த விளக்கத்தைத் தாண்டி, கணிதவியலாளர்கள் என்ன புரிந்துகொண்டு மீள்கட்டமைத்தார்கள் என்பதை வாசகர்கள் ஆராய முடியும். OpenAI-யின் அறிவிப்பு.

அசல் கையெழுத்துப் பிரதி, ஒரு நிலையான நேர்ம δ-க்காக, குறைந்தது n^(1+δ) அலகுத் தொலைவு ஜோடிகளைக் கொண்ட எண்ணற்ற புள்ளித் தொகுதிகளை உருவாக்குகிறது. எளிமையாகச் சொன்னால், எடுத்துக்காட்டுகள் பெரிதாகும்போதும் அடுக்கில் கிடைக்கும் முன்னேற்றம் நீடிக்கிறது. இது கிட்டத்தட்ட நேரியல் வளர்ச்சி என்ற ஊகத்துக்கு முரணாகிறது. ஒவ்வொரு புள்ளி எண்ணிக்கைக்கும் அலகுத் தொலைவுகளின் சரியான அதிகபட்சத்தை இது தீர்மானிக்கவில்லை; உகந்த வரம்புகளைத் தேடும் விரிவான ஆய்வு தொடர்கிறது. அலகுத் தொலைவு கையெழுத்துப் பிரதி.

இந்த அமைப்பு எங்கிருந்து வந்தது என்பதே ஆச்சரியம். வடிவியல் முடிவை மேம்பட்ட இயற்கணித எண் கோட்பாட்டுடன் துணைக் கட்டுரை இணைக்கிறது; முந்தைய கணிதக் கூறுகளையும் பெயரிட்டு குறிப்பிடுகிறது. அதன் ஆசிரியர்கள் எளிமைப்படுத்தப்பட்ட, ஓரளவு பொதுமைப்படுத்தப்பட்ட மறுகட்டமைப்பையும் வழங்குகின்றனர். AI கண்டுபிடிப்புக்குப் பிறகு மனிதர்கள் செய்யும் பணிக்கு இது நல்ல எடுத்துக்காட்டு: செயல்முறையை அடையாளம் காண்பது, அதன் சார்புகளை வெளிப்படுத்துவது, பிற ஆய்வாளர்கள் கையாளக்கூடிய வாதமாக மாற்றுவது. கணிதவியலாளர்களின் துணைக் கட்டுரை.

மே மாத முடிவின் முக்கியத்துவத்தை அறிய விரும்பும் வாசகர், தொடக்க அறிவிப்பைப் போலவே அதன் பிந்தைய ஆய்வுகளையும் கவனிக்க வேண்டும். பிற ஆய்வாளர்கள் ஒரு புதிய நுட்பத்தைப் பயன்படுத்தி மேலும் கேள்விகளைக் கேட்டு விடையளிக்கும்போது, அது வேறுவகையான நம்பகத்தன்மையைப் பெறுகிறது.

மே முதல் ஜூலை வரை: கருத்துகள் பரவத் தொடங்குகின்றன

மே 27 அன்று, தாமஸ் ப்ளூம், வில் சாவின், கார்ல் ஷில்ட்க்ராட், டிமிட்ரி ஜெலெசோவ் ஆகியோர் மெய்யெண்கள் மீதான கூட்டல்–பெருக்கல் ஊகத்துக்கு எதிருதாரணத்தை வெளியிட்டனர். தோராயமாகச் சொன்னால், ஒரு தொகுதியின் உறுப்புகளைக் கூட்டும்போதோ பெருக்கும்போதோ அந்தத் தொகுதி எவ்வளவு விரிவடைகிறது என்பதே இதன் பொருள். அவர்களின் அமைப்பில், உருவாகும் இரு தொகுதிகளும் ஊகிக்கப்பட்ட கிட்டத்தட்ட இருபடி அளவைவிடச் சிறியதாகவே இருக்கின்றன. அலகுத் தொலைவு எதிருதாரணம், பெரிய படியுடைய எண் புலங்களை மறுபரிசீலிக்கத் தங்களைத் தூண்டியதாக ஆசிரியர்கள் வெளிப்படையாகக் கூறுகின்றனர். அவர்களின் இறுதி அமைப்புக்கு முந்தைய முடிவைவிடக் குறைந்த எண் கோட்பாடே தேவை என்றும் விளக்குகின்றனர். கூட்டல்–பெருக்கல் ஆய்வுக் கட்டுரை.

AI-யிலிருந்து தோன்றிய முடிவு, மனிதர்கள் எழுதிய கணித ஆய்வைத் தூண்டியதற்கான உறுதியான எடுத்துக்காட்டு இது. இதனால் பிந்தைய கட்டுரையை AI எழுதியது என்று பொருளல்ல; ஆய்வகத்தின் வெற்றிக் கணக்கில் அவர்களின் பணியைச் சேர்த்து, அதன் ஆசிரியர்களை மறைத்துவிடக் கூடாது.

காஸ்மின் பொஹோஆட்டாவின் முன்வெளியீடு, முதலில் ஜூன் 11 அன்று சமர்ப்பிக்கப்பட்டு ஜூன் 28 அன்று திருத்தப்பட்டது; இந்தத் தொடரை எலேக்ஸ்–ரோன்யாய் சிக்கலுக்கு விரிவாக்குகிறது. பொருத்தமான தொகுதிகளில் அதன் மதிப்புகள் எதிர்பார்த்ததைவிடக் குறைவாக விரிவடையும் ஒரு பல்லுறுப்புக்கோவை எடுத்துக்காட்டை, அண்மைய அலகுத் தொலைவு மற்றும் கூட்டல்–பெருக்கல் அமைப்புகளின் கூறுகளைப் பயன்படுத்தி இது வழங்குகிறது. சிக்கல்களுக்கிடையிலான தொடர்பை ஆய்வுக் கட்டுரை வெளிப்படையாகக் காட்டுகிறது. பொஹோஆட்டாவின் ஆய்வுக் கட்டுரை.

ஜூலை 6 அன்று, சங்சுல் லீ, பொஹோஆட்டா, டேனியல் சூ ஆகியோர் மின்கோவ்ஸ்கி கட்டம் குறித்த மேலும் ஒரு முடிவை வெளியிட்டனர். அவர்களின் அமைப்பு, துணைத்தொகுதிகளுக்குள் மீளும் தொலைவுப் பண்புகளைப் பாதுகாக்கிறது; இதனால் மீளும் தொலைவுகள் மற்றும் சமபக்க முக்கோணங்கள் தொடர்பான கேள்விகளுக்கு விளைவுகள் கிடைக்கின்றன. ஒரு விதிவிலக்காக அடர்த்தியான அமைப்பைக் காட்டிவிட்டு அதன் உள் நடத்தை ஆராயப்படாமல் விடுவதைவிட, இது வலுவான கட்டமைப்பைக் கொண்டது. மின்கோவ்ஸ்கி கட்டம் குறித்த ஆய்வுக் கட்டுரை.

நம்பிக்கையூட்டும் வாசிப்புக்கு இங்கே ஆதாரம் உள்ளது. மே மாத முடிவு, சில வாரங்களிலேயே பிற ஆய்வாளர்கள் மாற்றி மீண்டும் பயன்படுத்தக்கூடிய பொருளை வழங்கியது. புரிந்துகொள்ளத் தேவையான முயற்சியுடன், இத்தகைய பயன்படக்கூடிய முறைகள் உருவாக்கப்படுவதையே வெற்றியின் அளவுகோலாக நாங்கள் முன்வைக்கிறோம். தீர்க்கப்பட்ட சிக்கல்களின் வெறும் எண்ணிக்கை இந்த வேறுபாட்டைக் காட்டாது.

ஜூலை: ஜேக்கோபியன் எதிருதாரணம், வரம்பைத் தெளிவுபடுத்துவதன் அவசியத்தைக் காட்டுகிறது

ஜேக்கோபியன் ஊகத்தைச் சுற்றி இரண்டாவது குறிப்பிடத்தக்க நிகழ்வு நடந்தது. ஃபேபிள் AI-ஐப் பயன்படுத்தி உருவாக்கப்பட்ட எதிருதாரணத்தை டெரன்ஸ் டாவோவின் ஜூலை 21 விளக்கக் கட்டுரை ஆராய்கிறது: மூன்று சிக்கலான மாறிகளில் வரையறுக்கப்பட்ட பல்லுறுப்புக்கோவை வரைபடம் ஒன்று, சிறிய அண்டைப்பகுதியில் தலைகீழாக்கக்கூடியதுபோல் நடந்துகொண்டாலும், ஒட்டுமொத்தமாக வேறுபட்ட புள்ளிகளை ஒரே வெளியீட்டுக்கு அனுப்புகிறது. மூன்று மற்றும் அதற்கு மேற்பட்ட பரிமாணங்களில் ஊகத்தின் பொதுக் கூற்று தோற்கிறது; இரு பரிமாண வழக்கு இன்னும் தீர்க்கப்படவில்லை. டாவோ வெளிப்படையான சூத்திரங்களைக் கொடுத்து அமைப்பின் வடிவியலை விளக்குகிறார். டாவோவின் கணித விளக்கக் கட்டுரை.

வெளிப்படையான எதிருதாரணத்தில் உள்ள அடிப்படை முரண்பாட்டை கணக்கீட்டால் ஒப்பீட்டளவில் எளிதாகக் காணலாம். அத்தகைய எடுத்துக்காட்டு ஏன் இருக்க வேண்டும், அதனுடன் தொடர்புடையவற்றை எப்படிக் கட்டமைப்பது என்பதை அறிய மேலும் கணிதப் பணி தேவை. இந்த வேறுபட்ட பணிகளை வெளியிடப்பட்ட வடிவிலேயே காண ஜேக்கோபியன் நிகழ்வு உதவுகிறது.

செப்டம்பரிலும் இந்த வேறுபாடு முக்கியமாக இருந்தது. அர்னோ வான் டென் எஸ்ஸனின் செப்டம்பர் 15 முன்வெளியீடு, நேரியல் ஆயத்தொலைவு மாற்றங்களுக்குப் பிறகு லெவென்ட் அல்போகே கண்ட எடுத்துக்காட்டுக்கு இணையான எதிருதாரணத்தை அடையும் ஒரு தொடக்கநிலை வழியை வழங்குகிறது. இது அந்த அமைப்புக்கான புதிய விளக்கம்; அசல் ஊகத்தைத் தனித்தனியாக இரண்டாவது முறை வீழ்த்துவது அல்ல. வான் டென் எஸ்ஸனின் ஆய்வுக் கட்டுரை.

ஆய்வு மேலாளருக்கு இது, எதற்குப் பரிசளிக்க வேண்டும் என்பதில் நடைமுறை மாற்றத்தைச் சுட்டுகிறது. சிக்கலான கண்டுபிடிப்பைப் புரியவைக்கும் நபருக்கு நிதியளிப்பது, தலைப்புச் செய்தியாகும் முடிவைத் தேடும் மற்றொரு முயற்சிக்கு நிதியளிப்பதைப் போலவே அடுத்தடுத்த ஆய்வுகளைத் திறக்கக்கூடும். பல்கலைக்கழகங்கள் ஏற்கெனவே தங்கள் ஊக்கத்தொகைகளை மாற்றிவிட்டன என்பது அல்ல; தொடரைப் பற்றிய எங்கள் மதிப்பீடு இது.

ஆகஸ்ட்: பரந்த அளவிலான கணிதக் கூற்றுகள்

கணிதம் மற்றும் கோட்பாட்டு கணினி அறிவியல் துறைகளில் பத்து குழு முடிவுகளை OpenAI ஆகஸ்ட் 1 அன்று வெளியிட்டது. வாதங்களை Astra-வின் உள்நிலைப் பதிப்பு உருவாக்கியது என்றும், மனிதர்கள் மாதிரியுடன் இணைந்து கையெழுத்துப் பிரதிகளைத் தயாரித்தனர் என்றும், மாதிரி Lean சான்றிதழ்களை உருவாக்கியது என்றும் நிறுவனம் கூறுகிறது. இது மே மாதத்தின் ஒற்றை முடிவு அறிவிப்பிலிருந்து மாறுபட்ட தயாரிப்பு விளக்கமாகும்; கையெழுத்துப் பிரதி தயாரிப்பில் மனிதர்களின் பங்களிப்பையும் வெளிப்படையாகக் குறிப்பிடுகிறது. ஆகஸ்ட் அறிவிப்பு.

ஆகஸ்ட் 6 அன்று புதுப்பிக்கப்பட்ட அதனுடன் இணைந்த தொகுப்பு பின்வருவனவற்றைப் பதிவுசெய்கிறது. இவை கையெழுத்துப் பிரதியின் கூற்றுகளின் விளக்கங்கள்; BIG CHANGE வழங்கிய பத்து தனித்தனி சான்றிதழ்கள் அல்ல:

  • கோள அடுக்கீடு:உயர் பரிமாணங்களில் மேம்பட்ட அறிகுறி மேல் வரம்பு.
  • இரும மற்றும் கோளக் குறியீடுகள்:குறிப்பிட்ட பிரிவிடைகளில் குறியீட்டளவுகளுக்கான வலுவான வரம்புகள்.
  • குழுக் கோட்பாடு:சோஃபிக் அல்லாத குழுவின் கட்டமைப்பு.
  • இயக்கி இயற்கணிதங்கள்:கோன்ஸின் விறைப்புத்தன்மை ஊகத்துக்கான எதிருதாரணங்கள்.
  • கணிதக் கணக்கீட்டு சிக்கல்தன்மை:பெர்மனென்டுக்கான வலுவான சுற்று மற்றும் சூத்திர கீழ்வரம்புகள்.
  • குவாண்டம் விளையாட்டுகள்:அடுக்கடுக்கான மறுமுறைத் திருப்பத்துக்கான அதிவேகத் தேற்றம்.
  • வலைப்பின்னல் சிக்கல்கள்:அருகிய திசையன் சிக்கலுக்கான வலுவான தோராயக் கடினத்தன்மை முடிவுகள்.
  • குவிந்த வடிவியல்:எர்ட்ராஹ் தொகுதி ஊகத்தின் நிரூபணம்.
  • ராம்சே கோட்பாடு:பலநிற முக்கோண ராம்சே எண்களுக்கான அதிவேக அடுக்குடைய கீழ்வரம்பு.
  • தீவிர வரைபடக் கோட்பாடு:சுருக்கத்தன்மை மற்றும் சிதைவுத்தன்மை ஊகங்களுக்கு எதிருதாரணங்கள்.

பத்து முடிவுகள் கொண்ட ஆய்வுத் தொகுப்பு.

முடிவுகளின் பரந்துபட்ட தன்மை முக்கியம்; ஆனால் அவற்றை ஒரே மொத்த எண்ணாகக் காட்டுவது தவறாக வழிநடத்தும். எதிருதாரணத்தைக் கண்டுபிடிப்பதும், ஒரு வரம்பை மேம்படுத்துவதும், பொதுவான தேற்றத்தை நிரூபிப்பதும் வெவ்வேறு விளைவுகளைக் கொண்டவை. கணிதச் சிக்கலின் கடினத்தன்மை குறித்த முடிவு, பயன்பாட்டில் உள்ள குறியாக்க அமைப்பின் மீது தாக்குதல் நடந்துவிட்டது என்பதையும் தானாக நிரூபிக்காது. பயன்பாடுகளுக்கு அவற்றுக்கான தனி வாதத் தொடரும் ஆதாரமும் தேவை.

ஆகஸ்ட் 10 அன்று, ரீமான் கருதுகோளுக்கு அருகிலான, இன்னும் குறுகிய வரையறையுடைய முன்னேற்றத்தை Anthropic வெளியிட்டது. வெளியிடப்படாத Claude மாதிரி, விமர்சனக் கோட்டில் உள்ள ஸீட்டா பூஜ்ஜியங்களின் விகிதத்துக்கான கீழ்வரம்பை மேம்படுத்தியதாக அது கூறுகிறது. Anthropic-இன் கணிதவியலாளர்கள் பணியை ஆய்ந்தனர்; வெளி நிபுணர்கள் கட்டுரையை மதிப்பாய்வு செய்தனர்; முறையாக்கமும் தயாரிக்கப்பட்டது. Claude ரீமான் கருதுகோளைத் தீர்க்கவில்லை என்றும், இந்த நுட்பங்கள் அதைத் தீர்க்கும் என எதிர்பார்க்கவில்லை என்றும் நிறுவனம் வெளிப்படையாகக் கூறுகிறது. Anthropic-இன் விளக்கம்.

இணைக்கப்பட்ட ஆய்வுக் கட்டுரை, மூன்றில் இரண்டைச் சற்றே தாண்டிய வரம்பை—தோராயமாக 67.25%—கூறி, அது பயன்படுத்தும் முந்தைய பகுப்பாய்வு முடிவுகளையும் குறிப்பிடுகிறது. இது அறிகுறி கணிதக் கூற்று; பெருமளவிலான வரையறுக்கப்பட்ட பூஜ்ஜியத் தொகுதியைச் சரிபார்த்ததால் கருதுகோள் நிரூபிக்கப்பட்டது என்ற கூற்று அல்ல. கீழ்வரம்பு விகிதத்தைக் கூறுவது, தொடர்புடைய எல்லாப் பூஜ்ஜியங்களும் அந்தக் கோட்டில் உள்ளன என்று நிறுவாது; இந்த வேறுபாடு இன்றியமையாதது. ஸீட்டா பூஜ்ஜியங்கள் குறித்த கையெழுத்துப் பிரதி.

மிகுந்த இலட்சியமுள்ள பிற கையெழுத்துப் பிரதிகளும் புழக்கத்தில் உள்ளன. அல்போகேவின் இணையதளத்தில் உள்ள ஓர் ஆவணம், ஆறுபரிமாண கோளத்தின் மீது சிக்கலான அமைப்பை முன்மொழிகிறது. ஆராய்வதற்கான கட்டமைப்பு கிடைத்தாலும், நாங்கள் அணுகிய நகல் நம்பகமான அறிவிப்பு தேதியையோ AI-யின் பங்களிப்பு குறித்த முழு விளக்கத்தையோ நிறுவவில்லை. எனவே, காலவரிசையில் தனியாக உறுதிப்படுத்தப்பட்ட மைல்கல்லாக உயர்த்தாமல், வாசகர்கள் ஆராயக்கூடிய ஒரு முன்மொழிவாக இதைச் சேர்க்கிறோம். ஆறுகோளம் குறித்த கையெழுத்துப் பிரதி.

செப்டம்பர் தொடக்கம்: பகா எண் இடைவெளிகள் சரிபார்ப்பின் எல்லையைக் காட்டுகின்றன

அறிவிப்புகளின் தொடரில் பகா எண்களுக்கிடையிலான இடைவெளிகளும் இடம்பெற்றன. செப்டம்பர் 3-ஆம் தேதியிட்ட Axiom கூட்டமைப்பின் முதல்நிலை ஆய்வுக் கட்டுரை, அடுத்தடுத்த பகா எண்களின் எண்ணற்ற ஜோடிகளுக்கிடையிலான இடைவெளி அதிகபட்சம் 212 எனக் கூறுகிறது. ஜூலியா ஸ்டாட்ல்மானின் பகுப்பாய்வுப் பணியையும் முந்தைய Polymath திட்டத்தையும் அது பாராட்டுகிறது. அதன் Lean சான்றிதழ், பகுப்பாய்வு மதிப்பீடுகளையும் தனியாகச் சரிபார்க்கப்பட்ட மாறுபாட்டுச் சான்றிதழையும் முன்கூற்றுகளாக ஏற்கிறது. இது வரையறுக்கப்பட்ட இடைவெளி கேள்வியில் முன்னேற்றம்; இரட்டைப் பகா எண் ஊகத்துக்கு சரியாக இரண்டு இடைவெளியில் உள்ள எண்ணற்ற ஜோடிகள் தேவை. Axiom குழுவின் ஆய்வுக் கட்டுரை.

OpenAI-யின் பொதுவில் கிடைக்கும் PrimeGaps186 களஞ்சியம், இன்னும் சிறிய வரம்பைக் காட்டுகிறது; அதற்கு ஒரு முக்கிய நிபந்தனையும் உண்டு. அதன் Lean உருவாக்கம், இலக்கியத்திலிருந்து பெறப்பட்ட இரண்டு மதிப்பீடுகளையும் எண்ணியல் தொகையீட்டு வரம்புகளையும் உள்ளடக்கிய மூன்று உள்ளீட்டு அடிக்கோள்களைச் சார்ந்துள்ளது. எண்ணியல் சான்றிதழ் அந்த அடிக்கோள்களை நிரூபிக்கவில்லை எனக் களஞ்சியம் கூறுகிறது. எனவே, முன்வைக்கப்பட்ட கணித வாதத்தையும் குறிப்பிட்ட உள்ளீடுகளின் கீழ் முறையாகச் சரிபார்க்கப்பட்ட பகுதியையும் வாசகர்கள் வேறுபடுத்த வேண்டும். அடித்தள அடிக்கோள்களிலிருந்து மட்டும் நிபந்தனையற்ற, முழுமையாக முறையாக்கப்பட்ட நிரூபணம் என்று இந்த ஆவணத்தை விவரிப்பது தவறு. PrimeGaps186 களஞ்சியம்.

மற்றொரு OpenAI கையெழுத்துப் பிரதி நீண்ட இடைவெளிகளைப் பற்றி ஆராய்கிறது: அடுத்தடுத்த பகா எண்களுக்கிடையிலான இடைவெளிகள் எவ்வளவு பெரிதாக இருக்கலாம் என்பதே கேள்வி. வளர்ந்து வரும் ஓர் எல்லைக்குக் கீழே மிகப்பெரிய இடைவெளிகளுக்கான மேம்பட்ட கீழ்வரம்பை அது தெரிவிக்கிறது. இது அருகிலுள்ள பகா எண் ஜோடிகளின் எண்ணற்ற இருப்பைக் கண்டறிவதிலிருந்து வேறுபட்ட தீவிரக் கேள்வி; ஒன்றின் முன்னேற்றத்தை மற்றொன்றின் தீர்வாக எண்ணக்கூடாது. நீண்ட இடைவெளி குறித்த கையெழுத்துப் பிரதி.

பகா எண் இடைவெளி நிகழ்வு குறிப்பாகப் பயனுள்ள பாடமாக உள்ளது. தலைப்புச் செய்தியில் இரண்டு எண்கள் எளிய போட்டிபோல் தோன்றலாம். நிரூபணத்தின் சார்புகள் வெளிப்பட்டதும், எந்தெந்த படிகள் எந்த முறைகளால் நிறுவப்பட்டன என்பதே சிறந்த கேள்வியாகிறது. முறையாக்கம் முடியாவிட்டாலும், முன்கூற்றுகளை வெளிப்படையாகக் குறிப்பிடுவது பயனுள்ளது.

செப்டம்பர் 4: முறையாக்கமும் கண்டுபிடிப்பின் கதையில் இடம்பெறுகிறது

செப்டம்பர் 4-ஆம் தேதி Anthropic வெளியிட்ட அறிவிப்பு, கணித நிரூபணம் ஏற்கெனவே அறியப்பட்டிருந்த ஒரு தேற்றத்தைப் பற்றியது: ஃபெர்மாவின் இறுதி தேற்றம். Claude பதினொரு நாட்களில் பெரும்பாலும் தன்னாட்சியாக முழுமையான Lean முறையாக்கத்தை உருவாக்கியதே கூறப்படும் சாதனை. மனிதர்களின் வழிநடத்தலையும், சார்புகளைக் கண்காணிக்க முகவர்களுக்கு உதவிய கூட்டுத் தளத்தையும் நிறுவனம் விவரிக்கிறது. இந்தப் பணிக்கு அடித்தளமான கணித நிரூபண மரபையும் அது அங்கீகரிக்கிறது. முறையாக்க அறிவிப்பு.

பொதுக் களஞ்சியம் தலைப்புச் செய்தியைவிடத் துல்லியமான ஆதாரத்தை வழங்குகிறது. தேற்றத்தைக் குறிப்பிடுகிறது, சார்புகளைப் பதிவுசெய்கிறது, Lean-இன் நிலையான அடிக்கோள்களுக்கும் Mathlib-இன் கூற்றுப் பதிப்புக்கும் எதிரான சரிபார்ப்புகளை ஆவணப்படுத்துகிறது. மேலும், பராமரிக்கப்படாத ஆய்வு ஆவணம் என்று தன்னை விவரிக்கிறது. இந்த ஆவணங்களைப் பார்த்தோம்; உருவாக்கத்தை மீண்டும் இயக்கவில்லை. ஃபெர்மாவின் இறுதி தேற்றக் களஞ்சியம்.

அதிக வேட்பாளர் வாதங்களை உருவாக்கும் அதே கருவிகள் அவற்றை முறையாக்கவும் உதவினால், சரிபார்க்கும் திறனும் வளரலாம். நம்பிக்கைக்கான வலுவான காரணம் இது. பிந்தைய ஆய்வாளர்கள் ஆராய concrete ஆன ஒன்றைப் பெறுகின்றனர். இடைநிலை முடிவுகளை மீண்டும் பயன்படுத்துவது எளிதா, சார்புகளை உருவாக்கக்கூடிய நிலையிலேயே வைத்திருக்கிறார்களா, ஆவணத்தை யார் பராமரிக்கிறார்கள் என்பதையும் அவர்கள் அறிய வேண்டும். உருவாக்கப்பட்ட குறியீட்டின் அளவு மட்டும் இக்கேள்விகளுக்கு விடையளிக்காது.

இங்கே நிறுவனங்கள் எதிர்கொள்ளும் பயனுள்ள தேர்வு ஒன்று உள்ளது. ஓர் ஆய்வகம் நிரூபணத்தைத் தனது மாதிரியின் முடிந்த காட்சிப்படுத்தலாக வெளியிடலாம்; அல்லது பிறர் தொடர்ந்து பணியாற்றும் கட்டமைப்பாக ஆதரிக்கலாம். இந்த அணுகுமுறைகள், வெளியீட்டுக்குப் பிறகு வெவ்வேறு பொறுப்புகளை உருவாக்குகின்றன. பராமரிப்பு, விளக்க எடுத்துக்காட்டுகள், நிலையான மேற்கோள்கள் ஆகியவை ஆய்வு நிதித் திட்டத்தின் பகுதியாக இருக்க வேண்டும்.

செப்டம்பர் 8: நேவியர்–ஸ்டோக்ஸ் முடிவு உண்மையில் என்ன கூறுகிறது

திரவங்கள் குறித்த முடிவு, இந்தக் கேள்விகளை இன்னும் தெளிவாக்குகிறது. செப்டம்பர் 8 அன்று வெளியிடப்பட்டு செப்டம்பர் 10 அன்று புதுப்பிக்கப்பட்ட OpenAI அறிவிப்பு, நேவியர்–ஸ்டோக்ஸ் இருப்பு மற்றும் மிருதுத்தன்மை சிக்கலுக்கான முன்மொழியப்பட்ட தீர்வை முன்வைக்கிறது. ஒருங்கிணைக்கும் முகவர்கள் வழியாக இயங்கிய உள்நிலை மாதிரிக்கு இந்தப் பணியை அது உரித்தாக்குகிறது; எழுத்து வடிவ வாதத்தையும் Lean முறையாக்கத்தையும் வெளியிடுகிறது. மில்லேனியம் பரிசைக் கோரப்போவதில்லை என்றும் OpenAI கூறுகிறது. அறிவிப்பு.

கையெழுத்துப் பிரதியின் அமைப்பு, நேர்மறை பாகுத்தன்மையும் கவனமாக வடிவமைக்கப்பட்ட வெளிப்புற விசையும் கொண்ட முப்பரிமாண அமுக்கமற்ற திரவ இயக்கமாகும். ஓய்வு நிலையிலிருந்து தொடங்கும் முன்மொழியப்பட்ட தீர்வு, மொத்த ஆற்றல் வரையறுக்கப்பட்டே இருக்கும்போது, வரையறுக்கப்பட்ட நேரத்தில் எல்லையற்ற திசைவேகத்தை உருவாக்குகிறது. விசை மிருதுவானது; இடத்திலும் காலத்திலும் வரையறுக்கப்பட்ட பகுதியில் மட்டுமே செயல்படுகிறது. மீதமுள்ள விசை மிருதுவாக இருக்குமாறு அமைக்கப்பட்ட திருத்தங்களுடன் சுருங்கும் சுழலியைப் பயன்படுத்துவதே அதன் கணிதக் கட்டமைப்பு. இவை சமன்பாடுகளுக்கான தீர்வுகள் குறித்த கூற்றுகள்; இயற்பியல் பரிசோதனையின் அவதானிப்புகளோ புதிய பொறியியல் உருவகப்படுத்தியோ அல்ல. நேவியர்–ஸ்டோக்ஸ் கையெழுத்துப் பிரதி.

இந்த முடிவின் வரம்பைப் புரிந்துகொள்ள வெளிப்புற விசை முக்கியமானது. சார்ல்ஸ் ஃபெஃபர்மானின் அதிகாரபூர்வ Clay சிக்கல் விளக்கம், சிதைவு ஏற்படும் மாற்று C மற்றும் D வழிகளில் மிருதுவான விசையை அனுமதிக்கிறது. உலகளாவிய மிருதுத்தன்மை குறித்த A மற்றும் B மாற்றுகள், விசையற்ற சமன்பாடுகளைப் பற்றியவை. எனவே, முன்மொழியப்பட்ட வகையில் செல்லுபடியாகும் முடிவு, Clay சிக்கலில் வெளிப்படையாக அனுமதிக்கப்பட்ட ஒரு மாற்றுவழியை அணுகலாம்; அதேவேளை விசையற்ற உலகளாவிய ஒழுங்குமுறை கேள்வி தீராமல் இருக்கலாம். விசை பொருட்டல்ல என்று கூறுவது தேற்றத்தை மிகைப்படுத்தும்; அது குறிப்பிடப்பட்ட சிக்கலுக்கு வெளியே உள்ளது என்று புறக்கணிப்பதும் விதிகளைத் தவறாக விவரிக்கும். அதிகாரபூர்வ சிக்கல் விளக்கம்.

பாகுத்தன்மையற்ற இலட்சியப்படுத்தப்பட்ட திரவத்தைப் பற்றிய தனி Euler வாதத்தையும் OpenAI வெளியிட்டது. வெளிப்புற விசையின்றி, மிருதுவான தொடக்கத் தரவிலிருந்து வரையறுக்கப்பட்ட நேரத்தில் சிதைவு ஏற்படுவதை அந்தக் கையெழுத்துப் பிரதி முன்மொழிகிறது. Euler மற்றும் நேவியர்–ஸ்டோக்ஸ் சமன்பாடுகள் தொடர்புடையவை; இருப்பினும், இந்த இரு கட்டுரைகளின் முன்கூற்றுகளையும் முடிவுகளையும் தனித்தனியாகவே பார்க்க வேண்டும். Euler கையெழுத்துப் பிரதி.

சுற்றியுள்ள ஆய்வு வரலாறும் முக்கியம். செப்டம்பர் 10 அன்று வெளியிட்ட அறிக்கையில், ஐரோப்பிய கணிதச் சங்கம், அல்போகே மற்றும் பக்மாஸ்டரின் பணிகளுடன் சேர்த்து கோர்டோபா, மார்டினெஸ்-சோரோஆ, ஜெங் ஆகியோரின் பணியையும் முந்தைய கணிதப் பங்களிப்புகளையும் அங்கீகரிக்கிறது. அணுகல், ஆசிரியர் உரிமை, பாராட்டு ஆகியவற்றைப் பற்றிய கேள்விகளையும் அது எழுப்புகிறது. மாதிரியின் பெயரிலிருந்து நேரடியாகத் தேற்றத்துக்குத் தாவும் விளக்கம், இந்தப் பணியைச் சாத்தியமாக்கிய திரண்ட கருத்துகளைத் தவறவிடுகிறது. EMS அறிக்கை.

செப்டம்பர் 11 அன்று, தோன்றியுள்ள தீர்வைப் பற்றிய கட்டுப்படுத்தப்பட்ட உற்சாகத்தை Clay வெளிப்படுத்தியது; மதிப்பீடும் பங்களிப்புக்கான பாராட்டும் அவசரப்படாமல் நடைபெறும் என்று கூறியது. இது பொருளுள்ள நிறுவனப் பதில். ஆனால் இது பரிசு அறிவிப்போ, பணியின் ஒவ்வொரு அம்சமும் மதிப்பாய்வை முடித்துவிட்டது என்ற அறிவிப்போ அல்ல. Clay-யின் அறிவிப்பு.

வாசகர்களுக்கான துல்லியமான முடிவு, கூடுதல் மிகைப்படுத்தலின்றியே முக்கியத்துவம் வாய்ந்தது: அங்கீகரிக்கப்பட்ட மில்லேனியம் சிக்கலை இலக்காகக் கொண்ட முன்மொழியப்பட்ட நிரூபணத்தை, ஆய்வு செய்யக்கூடிய கணித மற்றும் முறையாக்க ஆவணங்களுடன் AI ஆய்வகம் வெளியிட்டுள்ளது; பெரிய நிறுவனங்கள் அதைத் தீவிரமாக எடுத்துக்கொள்கின்றன. பரந்த ஏற்றுக்கொள்ளல், பங்களிப்புக்கான உரிய பாராட்டு, புரிதல் ஆகியவற்றுக்கு இன்னும் பணி தேவை.

Manuscript pages lead to a magnifying glass over a statement and dependency pages, then to an explanatory book and reusable pages.
AI-generated conceptual illustration by BIG CHANGE. Proposing a result, checking its exact statement and assumptions, and building understanding and reuse are distinct activities. Checking and explanation can iterate; this is not a guaranteed linear workflow. A formal check alone does not establish novelty, attribution or usefulness.

ஒரு நிரூபணச் சரிபார்ப்பு துல்லியமான கேள்விக்குப் பதிலளிக்கிறது

முறையான சரிபார்ப்பு, மதிப்பாய்வாளர்களுக்குக் கிடைக்கும் ஆதாரத்தை மாற்றுகிறது. செய்தி அறிக்கைகளையும் அது மேலும் துல்லியமாக்க வேண்டும்.

சரிபார்க்கப்பட்ட நிரூபணத்தையும் நிரூபிக்கப்படும் கூற்றின் பொருளையும் Lean-இன் ஆவணங்களே வேறுபடுத்துகின்றன. அடிப்படைச் சரிபார்ப்பு வெற்றியடைந்தால், முறையான கூற்று அதன் வரையறைகளிலிருந்தும் முன்கூற்றுகளிலிருந்தும் பின்வருகிறது என்பதே நிறுவப்படும். கூடுதல் சரிபார்ப்புகள் முடிக்கப்படாத சார்புகளை வெளிக்கொணரலாம், அடிக்கோள்களைத் தணிக்கை செய்யலாம், நிரூபணத்தைத் தனியாகக் குறிப்பிடப்பட்ட கூற்றுடன் ஒப்பிடலாம். வெளிச் சரிபார்ப்புக் கருவிகள் மூலம் இன்னும் வலுவான சரிபார்ப்பை ஆவணங்கள் விவரிக்கின்றன; சில முன்கூற்றுகள் எஞ்சியிருப்பதையும் அவை சுட்டுகின்றன. Lean சரிபார்ப்பு வழிகாட்டி.

ஒரு கணிப்பொறி நெறிமுறையின் ஒவ்வொரு உள்ளீட்டுக்கும் பொருந்தும் வரம்பு தேவைப்படும் ஆய்வாளரைக் கற்பனை செய்யுங்கள். உதவியாளர் முறையாகச் சரியான தேற்றத்தை வழங்குகிறார்; ஆனால் அதன் ஏற்கத்தக்க உள்ளீட்டுக்கான வரையறை, கடினமான ஒரு வகையை விலக்குகிறது. நிரூபணம் சரியாக இருக்கலாம்; ஆய்வாளரின் பயன்பாட்டுக்கு இன்னும் ஆதாரம் இல்லாமல் போகலாம். கேள்விக்கும் அதன் முறையான கூற்றுக்கும் இடையிலான மொழிமாற்றத்தில் கவனம் ஏன் தேவை என்பதற்கான கற்பனை எடுத்துக்காட்டு இது.

புதுமையை மதிப்பிடுவதற்கும் மற்றொரு வகைச் சரிபார்ப்பு தேவை. ஒரே வாதம் வேறு சொற்களுடன் பழைய கட்டுரையில் ஏற்கெனவே வந்துள்ளதா, பங்களிப்புக்கான பாராட்டு முழுமையானதா, கூறப்படும் மேம்பாடு பயன்பாட்டுக்கு முக்கியமான மாற்றத்தை ஏற்படுத்துகிறதா என்பதை நிரூபண முறை தீர்மானிக்காது. அந்த மதிப்பீடுகளுக்கு இலக்கிய ஆய்வும் துறைசார் நிபுணத்துவமும் தேவை.

எனவே, ஒரு பெரிய முடிவை வெளியிடும் ஆய்வகம் நீடித்துப் பயன்படும் ஆவணத் தொகுப்பை வழங்க வேண்டும் என நாங்கள் பரிந்துரைக்கிறோம்: வழக்கமான கணித மொழியில் துல்லியமான கூற்று, கிடைக்கும்போது அதன் முறையான இணை, நிரூபணமும் சார்புகளும், மனிதர்கள் மற்றும் மாதிரியின் பங்களிப்புகள் பற்றிய தெளிவான விளக்கம், எவை மதிப்பாய்வு செய்யப்பட்டன, திருத்தப்பட்டன என்ற பதிவு. இது எங்கள் முன்மொழியப்பட்ட அறிக்கைத் தரநிலை. பொறுப்பை அடையாளம் காணவும் தொடர்புடைய சரிபார்ப்புகளை மீண்டும் உருவாக்கவும் பிற ஆய்வாளர்களுக்கு இது வழி தருகிறது.

ஆலோசனைக் குழு வளர்ந்து வரும் ஒருங்கிணைப்புச் சிக்கலை அணுகுகிறது

இந்தப் பின்னணியில், கணிதம் மற்றும் செயற்கை நுண்ணறிவுக்கான ஆலோசனைக் குழுவின் செப்டம்பர் 21 அறிவிப்பு வெளியாகிறது. குழு தன்னாட்சி கொண்டது, ஊதியமின்றிச் செயல்படுகிறது, தொடர்புடைய எந்த AI நிறுவனத்துக்கும் ஆலோசனை வழங்கத் தயாராக உள்ளது என்று கூறுகிறது. நிறுவனம் பெற்றுள்ளதாகத் தெரிவிக்கும் மேலும் சில முடிவுகளை வெளியிடுவது குறித்து OpenAI-க்கு ஆலோசனை வழங்குவதே அதன் உடனடிப் பணி. பொதுப் பரிந்துரைகளை வெளியிடுவதாக உறுதியளிக்கிறது; நிறுவனங்களுக்குள் முடிவெடுக்கும் அதிகாரம் தனக்கு இல்லை என்றும் வெளிப்படையாகக் கூறுகிறது. டெரன்ஸ் டாவோவின் வலைப்பதிவிலுள்ள அறிவிப்பு, குழு எழுதிய விருந்தினர் பதிவாகும். குழுவின் அறிக்கை.

மதிப்பாய்வு, தகவல் தொடர்பு, முக்கியத்துவம், பரவல் ஆகியவற்றை உள்ளடக்கிய பொறுப்பு வரம்பை OpenAI விவரிக்கிறது. உள்நிலைக் கணித முன்னேற்றத்தின் வேகத்தைப் பற்றி ஆலோசிப்பது குழுவின் பொறுப்பல்ல என்றும் அது கூறுகிறது. ஆகவே, ஆலோசனைப் பங்கு என்பது ஆய்வுக்கும் ஒருங்கிணைப்புக்கும் உதவும் வழிமுறையாகப் புரிந்துகொள்ளப்பட வேண்டும்; முடிவுகள் நிறுவனத்திடமே இருக்கும். OpenAI-யின் ஆலோசனைக் குழு அறிவிப்பு.

இந்த ஏற்பாட்டை வரவேற்கக் காரணங்கள் உள்ளன. மேம்பட்ட ஒருங்கிணைப்பு, ஒரே மதிப்பாய்வை மீண்டும் மீண்டும் செய்வதைக் குறைக்கலாம்; சரியான நிபுணர்களைக் கண்டறியலாம்; ஒரு முடிவைப் பற்றிய விளக்கம் அதற்கான ஆதாரத்துடன் பொருந்துவதை உறுதிசெய்யலாம். அதன் வரம்புகளும் தெளிவானவை: ஆலோசனைக்கு பதில் தேவை; தன்னாட்சி மட்டுமே அமலாக்க வழிமுறையை வழங்காது. வெளியிடப்படும் பரிந்துரைகளையும் நிறுவனங்கள் அவற்றைப் பயன்படுத்தும் விதத்தையும் வாசகர்கள் கவனிக்க வேண்டும்.

ஆய்வின் நோக்கத்தையும் சந்தேகநோக்கு வாதம் தொடுகிறது. பட்டியலிடப்பட்ட சிக்கல்களைத் தீர்க்கும் போட்டி, புரிதலை வளர்ப்பதையும் வருங்காலக் கணிதவியலாளர்களுக்குப் பயிற்சி அளிப்பதையும் புறக்கணிக்கலாம் என்று செப்டம்பர் 11-ஆம் தேதியிட்ட கணிதம் மற்றும் AI அறிவிப்பு வாதிடுகிறது. கருத்துகள் கற்பிக்கக்கூடியதாகவும் பயனுள்ளதாகவும் மாறும் செயல்முறைகளுக்கு ஆபத்து இருப்பதாக அதன் கையொப்பமிட்டவர்கள் கூறுகின்றனர். துறையில் பங்கேற்பவர்களின் தீவிரமான கருத்து இது; எல்லா AI பயன்பாடுகளும் ஏற்கெனவே தீங்கு விளைவித்துள்ளன என்பதைக் காட்டும் அளவீடு அல்ல. அறிவிப்பு.

செப்டம்பர் 15 அன்று டாவோவின் வலைப்பதிவில் வெளியான விருந்தினர் கட்டுரையில் ஹென்றி கோன் தொடர்புடைய வாதத்தை முன்வைக்கிறார்: போதிய விளக்கமில்லாத முடிவுகளைப் புரிந்துகொள்ளச் சமூகம் கணிசமான கூடுதல் பணியைச் செய்ய வேண்டிவரும். அந்த விளக்கப் பணியைச் செய்பவர்களுக்கான ஊக்கத்தொகைகளும் அவரது கவலையில் அடங்கும். இங்கும் உரிய பாராட்டு முக்கியம்; டாவோவின் வலைப்பதிவு வெளியிட்டாலும் இந்தக் கட்டுரை கோனுடையது. கோனின் கட்டுரை.

அடுத்த முன்னேற்றம் பிறர் பயன்படுத்துவதற்கு எளிதாக இருக்க வேண்டும்

மே முதல் செப்டம்பர் வரையிலான நிகழ்வுகள், உறுதியான எடுத்துக்காட்டுகளுடன் நம்பிக்கையூட்டும் கண்ணோட்டத்தை ஆதரிக்கின்றன. வடிவியல் எதிருதாரணம் மேலும் கட்டமைப்புகளை உருவாக்கத் தூண்டியது. வியப்பூட்டும் பல்லுறுப்புக்கோவை வரைபடத்தை விளக்க ஆய்வாளர்கள் தெளிவான வழிகளைக் கண்டனர். முறையாக்கம் சிக்கலான பகுத்தறிவை ஆராய உதவும் கூடுதல் ஆவணங்களை உருவாக்கியது. மாதிரி வெளியீடும் கணிதப் பணிமுறையும் பயனுள்ள வகையில் இணைவதற்கான கூறுகள் தென்படுகின்றன.

நம்பிக்கையற்ற காட்சியும் நடைமுறைக்கு உரியது. மற்றவர்கள் புரிந்துகொள்ளும் வேகத்தைவிட விரைவாக ஆய்வகங்கள் முன்மொழியப்பட்ட முடிவுகளை உருவாக்கிவிட்டு, அறிவிப்புகளை முடிந்த அறிவியல் பங்களிப்புகளாகக் கணக்கிடலாம். சில நிபுணர்கள் மீது மதிப்பாய்வுச் சுமை விழ, முடிவுகளை உருவாக்கும் அமைப்புகளிடம் வளங்களும் புகழும் குவியலாம். மாதிரிகளுக்கான வரையறுக்கப்பட்ட அணுகல், கண்டுபிடிப்புகளை உருவாக்குபவர்களுக்கும் அவற்றை மதிப்பிட வேண்டியவர்களுக்கும் இடையிலான சமமின்மையை மேலும் ஆழப்படுத்தலாம்.

ஆய்வகங்கள், நிதியளிப்போர், இதழ்கள் ஆகியவை செயல்முறையின் இரு பக்கங்களையும் அளவிட வேண்டும் என்பதே எங்கள் கருத்து. புதிய கண்டுபிடிப்பு வேட்பாளர்களைக் கண்காணியுங்கள்; அதேசமயம் சுயாதீன ஆய்வு, பயனுள்ள எளிமைப்படுத்தல், திருத்தப்பட்ட வாதங்கள், மீண்டும் பயன்படுத்தக்கூடிய முறையான நூலகங்கள், தொடர்ந்து உருவாகும் ஆய்வுகள் ஆகியவற்றையும் கணக்கிடுங்கள். முடிவை புரியக்கூடியதாக்குபவர்களுக்குப் பாராட்டளியுங்கள். அறிவிப்புகளுக்கு அளிக்கும் அதே தொடர்ச்சியுடன் திருத்தங்களையும் வெளியிடுங்கள்.

அடுத்த திருப்புமுனையைப் பின்தொடர விரும்பும் வாசகருக்கான மிகத் தெளிவான கேள்வி இதுதான்: முன்பு செய்ய முடியாத எதை இப்போது மற்றோர் ஆய்வாளர் செய்ய முடியும்? எதிருதாரணத்தை அமைப்பது, வலுவான உத்தரவாதத்தை நிறுவுவது, கடினமான வாதத்தைச் சரிபார்ப்பது அல்லது புதிய முறையைக் கற்பிப்பது என்பன விடையாக இருக்கலாம். AI கணிதத்தின் முன்னேற்றம் கணிதத்தின் முன்னேற்றமாக மாறுவது அங்குதான்.