目前人工智能形式化证明数学定理遇到了哪些困难？有哪些最新进展？
19:30乒乓球男团决赛、男篮预赛(美国vs资格队)--奥运、高清
大肉粒杂酱，鲜香烧椒酱，超满足抄手，狠狠大吃一碗！
20:00男子个人花剑3-4名决赛--高清
叵测孟晓亮生父到底是谁
女子羽毛球双打——杨维、张洁雯；杜婧、于洋；魏铁力、张亚雯
【飞鸟】明日香为何吻真嗣？为何拒绝告白？二人矛盾的开始【EVA解说】
09:00女篮预赛第7场B组(新西兰vs资格赛队E)-- CCTV2
7人3盆米饭收费78元 当地市监局介入
02:00西甲联赛：皇家马德里VS贝蒂斯(直播)广东体育、上海体育
AI 时代的管理后台框架，应该是什么样子？
选手推介：
App+1｜装上它、然后忘掉它：用 ShotClean 自动化管理截图
15:00男子飞碟多项决赛--奥运频道
五一劳动节高速免费通行政策公布
17:20射箭女子团体决赛--高清
飞行家
今天共有10个项目的16场决赛。中国选手将在女子的体操个人全能、羽毛球双打、200米蛙泳、柔道78公斤级和男子50米步枪卧射比赛中向金牌或奖牌发起冲击。
哈珀表示不会去争最佳新秀
09:00女篮预赛第7场B组(新西兰vs资格赛队E)-- CCTV2
哪吒2票房升至全球第4
15:30女子举重58公斤级决赛--奥运、高清
五一劳动节高速免费通行政策公布
16:40激流皮划艇男双人、女单人决定--奥运频道
两市全天特大单净流入798.64亿元
18:30羽球男单、混双1/4决赛--奥运频道