注册

40多年

首页标签40多年

站长资讯
陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功
【新智元导读】「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。40多年的计算机难题——「忙碌海狸」难题，今天获得了重大突破了!
站长网2024-07-03 21:48:49
0000

热点

AI日报：Runway的Gen-3 Alpha正式开放使用；百度文心大模型4.0 Turbo限时免费；英伟达发布直播神器；爆火Character AI惨遭阉割
2024-07-02 18:11:11
网易游戏发布未成年暑期限玩通知：游戏总时长不超过24小时
2024-07-03 15:41:14
AI日报：文本转语音模型Fish Speech；Meta 3D Gen发布，1分钟快速构建3D模型；AI生成熊猫吃泡面视频刷屏抖音
2024-07-03 17:57:21
小米汽车：小米SU7 7月交付依然要超过10000台
2024-07-01 19:50:36
华为MatePad SE 2024款发布：1299元起搭载骁龙685
2024-07-01 19:50:36
特斯拉五年免息上热搜：7月31日前下单即可享受
2024-07-01 19:50:35
快手直播：将严厉打击直播间展示、传播色情低俗内容
2024-07-01 18:15:45
巴菲特最新遗嘱：1300亿“给儿女”打理
2024-07-01 18:15:45
快手vp版正式上线成为国内首批发布的Vision Pro应用
2024-07-01 18:15:44
微信收款码不能截图拍照付款！客服回应：建议保存后使用
2024-07-01 18:15:44

关注

AI日报：天工推OpenAl用户“一键搬家计划”；ChatGPT桌面版来了；豆包拿下AI高考国内第一；宠物AI写真“猫猫守护神”走红
2024-06-27 01:07:28
当高考志愿填报成为一门生意，AI将扮演怎样的角色？
2024-06-27 01:06:10
对话微软广告Landy Huang：新航海时代，AI带来的增长红利刚刚浮出水面
2024-06-26 23:22:52
一个月涨粉400万，数百万人挤爆直播间，00后魔改的《植物大战僵尸》火了
2024-06-26 23:22:51
中国移动：人类正迈入第四次工业革命正式公布“三个计划”
2024-06-26 23:22:43
再见，ICQ:即时通讯先驱结束28年使命正式停止服务
2024-06-26 23:22:41
AI日报：腾讯发布新视频神器MOFA-Video；直播卖货大模型Streamer-Sales来了；机器人?Alter3会自拍了
2024-06-26 22:45:36
深度解析类UP主，走不出商业围城？
2024-06-26 22:45:34
尝到AI甜头 Meta重组Reality Labs
2024-06-26 22:45:32
我在云南做直播公会：人才是第一难题，没有试错成本
2024-06-26 22:45:32

推荐