zlacker

[return to "AI just proved Erdos Problem #124"]
1. wasmai+8g[view] [source] 2025-11-30 09:01:34
>>nl+(OP)
Ok… has this been verified? I see no publication or at least an announcement on Harmonics webpage. If this is a big deal, you think it would be a big deal, or is this just hype?
◧◩
2. singul+kq[view] [source] 2025-11-30 11:04:05
>>wasmai+8g
verified by lean so 99.99% yes
[go to top]