世界文化遗产云冈石窟“五一”参观人数达22万余人
挑战AI数学推理极限,大规模形式化数学基准FormalMATH发布,最强模型成功率仅16%
ChatGPT做电商,先拆了传统搜索的信息围墙
科普百人团——科技教育乡村行·广西大化瑶族自治县公益活动明日开启!
黄春萼同志逝世
精灵数据客服小助手