Startups Exaggerate AI Autonomy
16:29–17:28 · 59s
Kakaes casts doubt on startups boasting fully autonomous theorem-proving, noting many academic mathematicians suspect more human guidance than advertised.
16:29–17:28 · 59s
Kakaes casts doubt on startups boasting fully autonomous theorem-proving, noting many academic mathematicians suspect more human guidance than advertised.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.