ஹார்மோனிக், ராபின்ஹூட் CEO இன் AI ஸ்டார்ட்அப், அரிஸ்டாட்டிலை மென்பொருள் மற்றும் சிப்-வடிவமைப்பு சரிபார்ப்பாக விரிவுபடுத்துகிறது

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

கணிதச் சான்றுகள் முதல் குறியீடு வரை

அரிஸ்டாட்டில் இப்போது C இல் எழுதப்பட்ட மென்பொருளையும் வெரிலாக்கில் எழுதப்பட்ட சிப் வடிவமைப்புகளையும் சரிபார்க்க முடியும் என்று ஹார்மோனிக் கூறினார். நிறுவனம் அதன் இலக்கை கணித சூப்பர் இன்டெலிஜென்ஸ் என்று விவரிக்கிறது: மாயத்தோற்றம் மற்றும் உண்மைப் பிழைகளைக் குறைப்பதை நோக்கமாகக் கொண்ட ஒரு பகுத்தறிவு-மையப்படுத்தப்பட்ட AI அமைப்பு.

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

நான்கு மணி நேர இணைவு வழக்கு

ஹார்மோனிக் அமெரிக்க இணைவு ஆய்வகமான DIII-D ஐ சுட்டிக்காட்டியது, இது அரிஸ்டாட்டில் அதன் உலை-கட்டுப்பாட்டு மென்பொருளின் ஒரு பகுதியை நான்கு மணி நேரத்தில் மீண்டும் உருவாக்கப் பயன்படுத்தியது, ஒரு ஆய்வுக் கட்டுரை மற்றும் 254-வார்த்தை வரியில் இருந்து. குறியீட்டை எழுதுவது மட்டுமல்லாமல், ஒரு விவரக்குறிப்பிற்கு எதிராக அதைச் சரிபார்க்கும் ஒரு பகுத்தறிவு மாதிரியைக் காண்பிப்பதற்காக எடுத்துக்காட்டு உள்ளது.

பின்னணி மற்றும் என்ன பார்க்க வேண்டும்

ஹார்மோனிக் கடந்த நவம்பரில் $1.45 பில்லியன் மதிப்பீட்டில் $120 மில்லியன் திரட்டியது, என்விடியாவின் துணிகரப் பிரிவான Sequoia மற்றும் Ribbit Capitalஆல் ஆதரவளிக்கப்பட்டது. புதிய நிதியுதவி அல்லது இந்த விரிவாக்கத்துடன் இணைக்கப்பட்ட புதிய வாடிக்கையாளர்களை அறிக்கை குறிப்பிடவில்லை. அடுத்த முக்கியமான விஷயம் என்னவென்றால், சரிபார்ப்புக் கருவிகள் ஆராய்ச்சி விளக்கங்களிலிருந்து சிப் மற்றும் மென்பொருள் நிறுவனங்களின் தினசரி மேம்பாட்டுப் பணிகளாக மாறுகின்றனவா என்பதும், மேலும் அந்த கூடுதல் உறுதிப்பாட்டிற்கு வாடிக்கையாளர்கள் பணம் செலுத்துவார்களா என்பதும் ஆகும்.