OpenAI පැවසුවේ ආසන්න වශයෙන් පැවති සමගාමී AI නියෝජිතයන් 10,000ක් Navier–Stokes ගැටලුවක් පැය 88කට පමණ පසු විසඳූ බවයි. Lean තුළ ස්ථානගත කිරීම හා සත්යාපනය සඳහා GPT-6 Astra භාවිතයෙන් තවත් පැය 17ක් ගත විය. මෙම ප්රතිඵලය ස්වයංක්රීය theorem proving තව තවත් smart-contract ආරක්ෂක කාර්ය ප්රවාහයන්ට සමීප කරවිය හැක.
පෝස්ටුව
වියාචනය: තෙවන පාර්ශ්වීය අදහස් ඇතුළත් වේ. උපදෙස් නොවේ. සහතිකයක් නොමැතිව Binance AI භාවිත කළ හැකි ය. See T&Cs.