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