AI இப்போது கணித நிரூபணங்களை மலிவாக எழுத முடியும் என்கின்றனர் ஆய்வாளர்கள்
AutoIP என்ற நூலகத்தை ஆய்வாளர்கள் விவரிக்கின்றனர். இது Lean proof checker-க்கான நூலகம். inverse problems-ஐத் தீர்க்கப் பயன்படும் பாரம்பரிய கணித முறைகளை இது முறையாகச் சரிபார்க்கிறது. இந்த நிரூபணங்களை எழுத AI-ஐப் பயன்படுத்துவதன் வாய்ப்புகள் மற்றும் அபாயங்களையும் அவர்கள் விவாதிக்கின்றனர். இப்போது இது மிகவும் மலிவாகிவிட்டது.
சொல் விளக்கம்arXiv, Lean, inverse problems
- arXiv
- arXiv என்பது Cornell University நடத்தும் ஓர் ஆன்லைன் ஆய்வுக் களஞ்சியம். இங்கு விஞ்ஞானிகள் முறையான பியர் ஆய்வுக்கு முன்பே தங்கள் ஆய்வுக் கட்டுரைகளைப் பகிர்கின்றனர்.
- Lean
- Lean என்பது ஒரு நிரலாக்க மொழியும் நிரூபணச் சரிபார்ப்பானும். இது கணித நிரூபணத்தின் ஒவ்வொரு படியையும் அடிப்படை அனுமானங்கள் வரை சரிபார்க்கிறது.
- inverse problems
- Inverse problems என்பவை அளக்கப்பட்ட முடிவுகளிலிருந்து பின்னோக்கிச் சென்று மறைந்துள்ள காரணங்களைக் கண்டறியும் பிரச்சினைகள்.
பர்னிங் பொட்டேட்டோ ஸ்கோர்: 70%