https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/4 IMO problems solved.ASI at the horizon. Takeoff imminent. System safety unchecked.It's all gonna be over soon.
>>16296493My body is ready
>>16296493>AI is still worse than theorem proves from the 60s.AI is a joke.
>>16296493is this actually generalizable to all proofs or just the autistic IMO type of problems