首页
8月2日消息，Polyhedra Network团队的Proof Cloud进入了Beta阶段，同时发布名为“Proof Arena”的平台，开发人员可以通过该平台在可控环境中测试各种证明系统，用来评估证明系统针对特定证明生成任务的性能。
1 沪光股份
沪光股份沪光股份前三季度净利同比预增15倍，军工概念“新贵”11月13日晚间，沪光股份(605333)发布公告称，预计前三季度实现净利润5500万元至5500万元，同比增长154%至158%。沪光股份问询函其中，第三季度实现净利润2167万元至2255万元，同比增长930%至998%。公告称，报告期内，公司光学组件产品业务订单和收入增长，公司盈利能力得到较好提升。另一方面，公司的汽车业务、智能装备
