Axiom Math AI ஏஜென்ட்கள் கணித நிரூபணங்களைத் தானாகச் சரிபார்க்கின்றன
Axiom Math என்ற ஒரு ஸ்டார்ட்அப் நிறுவனம், தங்களின் AI ஏஜென்ட்கள் Stacks Project என்ற முக்கியமான கணித நூலகத்தை முறையாகச் சரிபார்த்துவிட்டதாகக் கூறுகிறது. AI அதிகமான கணித நிரூபணங்களை உருவாக்கும்போது, அவற்றைத் தானாகச் சரிபார்ப்பது இன்னும் முக்கியமாகிறது என்று நிறுவனம் வாதிடுகிறது. அதிக நிரூபணங்களை உருவாக்குவதை விட, இருப்பவற்றைச் சரிபார்ப்பதே தங்களின் நோக்கம் என்று அது சொல்கிறது.
சொல் விளக்கம்Axiom Math, formally verified, Stacks Project
- Axiom Math
- ஒரு நிரல் ஒவ்வொரு படியும் தர்க்க ரீதியாகச் சரியானது என்பதை உறுதி செய்த நிலை.
- formally verified
- பல கணிதவியலாளர்கள் இணைந்து எழுதிய, மேம்பட்ட கணிதத்தை உள்ளடக்கிய பெரிய, இலவச ஆன்லைன் குறிப்பு நூல்.
- Stacks Project
- கணித நிரூபணங்களைச் சரிபார்க்கும் AI ஏஜென்ட்களை உருவாக்கும் ஒரு ஸ்டார்ட்அப் நிறுவனம்.
பர்னிங் பொட்டேட்டோ ஸ்கோர்: 70%