开启时会模糊预览图,关闭后正常显示

math provers remain my standard meter bar. if goedel hit sota on 32b, this is probably all you need to solve hardest problems at the moment.


interestingly, as use case become more complex and mature, first time i’m becoming constrained by model size. 30b dense or 50-150b active is likely becoming a sweet spot.


Reasoning models coming (very) soon. Co-founder @pleiasfr


Reasoning models coming (very) soon. Co-founder @pleiasfr


Reasoning models coming (very) soon. Co-founder @pleiasfr


Reasoning models coming (very) soon. Co-founder @pleiasfr
