目前人工智能形式化证明数学定理遇到了哪些困难？有哪些最新进展？
8月15日周五 15:30女子举重75公斤级决赛 CCTV2
爱播集结团播之夜
8月18日周一 10:00女子铁人三项决赛 CCTV2
当你给up主投了6182个币，对方能提现出多少？大概买5斤肋排还不够
8月16日周六 09:00男子20功力竞走决赛 CCTV1
十日终焉
在内容方面，除了赛事直播，为了提升观看体验，咪咕组建了豪华的解说阵容。除了黄健翔、蔡猛、杨毅等名嘴嘉宾，还有体育界泰斗级人物宋世雄助阵。此外，中国移动咪咕推出多屏观看和多路解说，观众可以根据自己的喜好，观看每一场比赛。
聊聊你吃过的排队王餐厅
奥运会的其他情况简介。
iOS App 内购价格对比
8月18日周一 12:00女子垒球预赛：中国VS美国奥运频道
前NBA球员杰拉德-帕迪奥去世
8月12日周二 16:45男子篮球预赛：中国VS西班牙 CCTV1
当你穿进老钱班21
8月18日周一 22:15男子篮球预赛：阿根廷VS俄罗斯 CCTV2
港媒采访搞事,内地游客遭中伤
8月18日周一 10:00女子铁人三项决赛 CCTV2
他用一百美元，办了场奥运会
8月16日周六 09:00男子20功力竞走决赛 CCTV1
*ST国华：首次触及市值退市风险警示
8月13日周三 10:15体操女子团体决赛奥运频道
宁波男篮当场裁掉外援
赛事：
华为小鹏为何纷纷闯入摩托车赛道
8月12日周二 15:00男子飞碟双多项决赛 CCTV2
男子生前立遗嘱财产给亲生女儿，法院判决遗嘱有效，但为非婚生子保留必要遗产份额，如何解读判决结果？
8月13日周三 10:15体操女子团体决赛奥运频道
《地平线6》首发试玩：景色太美！秋名山车神申请出战！
日本东京延期到2021年举办第32届奥运会，2020东京奥运会期间，奥运频道第七次出现，继续使用五环台标。同时CCTV-5+有可能也会成为奥运版本，4K奥运频道同时开播。