大佬怎么用AI,陶哲轩与GPT-4的奇妙对话 陶哲轩是一个数学界的传奇,他曾经获得过多项国际数学大奖,被誉为“21世纪最伟大的数学家之一”。 但是,你可能不知道的是,陶哲轩还是一个人工智能的爱好者和实...【查看原文】
用于解决数学难题
GPT-4
量子位 2023-06-25
近几个月来,著名数学家陶哲轩热衷于用ChatGPT、GPT-4等AI工具辅助解决数学问题。不禁好奇,是什么样的数学定理呢?根据陶哲轩的介绍,他最近在包含有限多个实变量的不等式理论中有一个完成的示例结果,并很快会发表在arXiv上。陶哲轩发现,自然数游戏似乎拥有比文档实际披露的更多的lean库。
GPT-4ChatGPT
机器之心Pro 2023-10-10
网友:“这种事情他没有助手吗?”
CSDN 2023-04-13
GPT-4辅助写论文
新智元 2023-10-10
数学家陶哲轩刚刚自曝,在GPT-4发布之前就从微软那里获得了访问资格。也就是和微软154页《AGI的火花》论文里同款,未经过安全训练但能力更强的满血版。他让GPT-4针对论文提出问题来准备讲座。他让GPT-4生成数学证明,并发现过去阅读人类作品的经验完全不适用了。
GPT-4微软AGI
量子位 2023-06-17
金融界2024年12月25日消息,国家知识产权局信息显示,贵州航天电器股份有限公司申请一项名为“种耐液压密封转接器”的专利,公开号CN119171148A,申请日期为2024年9月。
金融界 2024-12-25
金融界2024年12月25日消息,国家知识产权局信息显示,深圳市华宝新能源股份有限公司取得一项名为“发电组件”的专利,授权公告号CN222192204U,申请日期为2024年1月。
金融界2024年12月25日消息,国家知识产权局信息显示,西安西电新能源有限公司取得一项名为“一种光伏支架用连接结构”的专利,授权公告号CN222192197U,申请日期为2024年4月。
金融界2024年12月25日消息,国家知识产权局信息显示,上海核工程研究设计院股份有限公司申请一项名为“一种连接器组件”的专利,公开号CN119171147A,申请日期为2024年11月。专利摘要显示,本发明涉及一种连接器组件。
金融界2024年12月25日消息,国家知识产权局信息显示,内蒙古晶圣新能源科技有限公司取得一项名为“一种用于在光伏阵列安装中提升功率的聚光支架”的专利,授权公告号CN222192196U,申请日期为2024年4月。
金融界2024年12月25日消息,国家知识产权局信息显示,中能创低碳新能源科技(常州)有限责任公司取得一项名为“一种光伏轻质组件的安装结构件”的专利,授权公告号CN222192192U,申请日期为2024年3月。专利摘要显示,本实用新型公开了一种光伏轻质组件的安装结构件,属于光伏组件技术领域,解决了安装和拆卸不方便的问题。
金融界2024年12月25日消息,国家知识产权局信息显示,天津摩泰科技有限公司申请一项名为“一种简易型水气滑环”的专利,公开号CN119171150A,申请日期为2024年9月。
金融界2024年12月25日消息,国家知识产权局信息显示,江苏华电仪征热电有限公司申请一项名为“一种网络断路器的断网方法”的专利,公开号CN119171149A,申请日期为2024年11月。专利摘要显示,一种网络断路器的断网方法。
金融界2024年12月25日消息,国家知识产权局信息显示,上海摩昆新能源科技有限公司取得一项名为“光伏安装结构及光伏支架”的专利,授权公告号CN222192190U,申请日期为2024年1月。专利摘要显示,本实用新型提供一种光伏安装结构及光伏支架。
金融界2024年12月25日消息,国家知识产权局信息显示,上海航天科工电器研究院有限公司申请一项名为“微矩形、集成化、混装型连接器”的专利,公开号CN119171145A,申请日期为2024年8月。
Copyright © 2025 aigcdaily.cn 北京智识时代科技有限公司 版权所有 京ICP备2023006237号-1