According to ylecun, Aleph’s energy based models now lead major formal reasoning benchmarks, signaling progress in symbolic math and theorem proving.