#matematik

OpenAI yapay zekası 3 bilimsel kanıt buldu: ETH yanlış mı?

OpenAI, modellerinin Üstel Zaman Hipotezi'ni çürüttüğünü, Kakeya varsayımını çözdüğünü söylüyor. İkisi Lean ile denetlendi, hiçbiri henüz hakemli değil.