🧵 Untitled Thread
Anonymous at Thu, 25 Jul 2024 21:19:52 UTC No. 16296493
https://deepmind.google/discover/bl
4 IMO problems solved.
ASI at the horizon. Takeoff imminent. System safety unchecked.
It's all gonna be over soon.
Anonymous at Thu, 25 Jul 2024 21:21:33 UTC No. 16296495
>>16296493
My body is ready
Anonymous at Thu, 25 Jul 2024 21:52:10 UTC No. 16296522
>>16296493
>AI is still worse than theorem proves from the 60s.
AI is a joke.
Anonymous at Thu, 25 Jul 2024 21:52:31 UTC No. 16296523
>>16296493
is this actually generalizable to all proofs or just the autistic IMO type of problems