கணிதத்தில் AI முன்னேற்றத்தைப் பகிர்தல்

உள் frontier model-இன் தீர்க்கப்படாத கணிதப் பிரச்சினை முடிவுகளை OpenAI வெளியிட்டு, Lean proof formalizations மற்றும் ஆய்வு விவரங்களை GitHub-இல் பகிர்கிறது.

அசல் ஆதார மொழி · ஆங்கிலம்

சரிபார்க்கப்பட்டது · 10 அக்டோபர், 2026