Expertium comments on IMO challenge bet with Eliezer

[Expertium]

https://​​x.com/​​alexwei_/​​status/​​1946477742855532918

I believe this qualifies as “technical capability existing by end of 2025”.