- AI
- AI
- AI
- AI我对Mistral的印象是刷分大王……这回看上去居然还承认自己不如ds v4.1f了? ^-^这就不奇怪了,这就不奇怪了(
- AI
- AI
- AI
- AI
- AI
- AI
- AI
- AI
- AI
- AI
- AI
- AI
- AI我用容器的,巴不得有webui用呢。 再说,electron真的和webui有啥区别么……webui灵活多了。
- AI看了下,有给出lean,所以大概是比较可信的? 上次jacobian猜想虽然重大,但是个负向的结果(还那么简单),这个要是真的话大概意义非凡。
- AI嚯,查了下,这个进展貌似不小,数学家用了50年把critical line上的零点比例从1/3推进到5/12;不过这个似乎同行评审还不完全(不是前几天Jacobian猜想那种几分钟就验证了的),先等等。