42 (@rs42) 在 grok4疑拟碾压o3和2.5Pro 中发帖[{643BD739-1ECE-9DFC-9943-888BB6F58777}] grok4 HLE直接干到了35，gpqa干到了87 (HLE干到35，目前最高的2.5Pro也就22，o3也才20)

42 (@rs42) 在 grok4疑拟碾压o3和2.5Pro 中发帖

[{643BD739-1ECE-9DFC-9943-888BB6F58777}] 
grok4 HLE直接干到了35，gpqa干到了87 
(HLE干到35，目前最高的2.5Pro也就22，o3也才20)