大佬怎么用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月28日消息，国家知识产权局信息显示，浦林成山(山东)轮胎有限公司取得一项名为“一种防止误报的漏电报警系统”的专利，授权公告号CN222212910U，申请日期为2024年2月。
金融界 2024-12-28
金融界2024年12月28日消息，国家知识产权局信息显示，郑州春泉节能股份有限公司取得一项名为“一种直流电机的转速识别和故障检测电路”的专利，授权公告号CN222212890U，申请日期为2023年12月。专利摘要显示，本实用新型涉及一种直流电机的转速识别和故障检测电路，包括控制电路，输出检测电路，直流电机转速识别电路和故障检测电路。
金融界2024年12月28日消息，国家知识产权局信息显示，无锡市朗迪测控技术有限公司取得一项名为“新能源电机测试台用轴承座调节机构”的专利，授权公告号CN222212894U，申请日期为2024年4月。
金融界2024年12月28日消息，国家知识产权局信息显示，厦门四五零科技有限公司取得一项名为“一种IC板测试冶具”的专利，授权公告号CN222212887U，申请日期为2024年4月。
金融界2024年12月28日消息，国家知识产权局信息显示，蜂巢能源科技股份有限公司取得一项名为“用于电池模组热失控的试验装置”的专利，授权公告号CN222212903U，申请日期为2023年12月。
金融界2024年12月28日消息，国家知识产权局信息显示，欧非亚美检测技术（浙江）有限公司取得一项名为“一种一体化电机驱动性能测试试验台”的专利，授权公告号CN222212893U，申请日期为2024年4月。
金融界2024年12月28日消息，国家知识产权局信息显示，辽宁奥普泰通信股份有限公司取得一项名为“交通信号灯故障检测装置”的专利，授权公告号CN222212906U，申请日期为2024年3月。
金融界2024年12月28日消息，国家知识产权局信息显示，德阳德尚鸿诚科技有限公司取得一项名为“一种电路信号测试模具”的专利，授权公告号CN222212885U，申请日期为2024年4月。专利摘要显示，本实用新型公开了一种电路信号测试模具。
金融界2024年12月28日消息，国家知识产权局信息显示，曼德电子电器有限公司取得一项名为“一种灯板检测工装”的专利，授权公告号CN222212907U，申请日期为2024年4月。
金融界2024年12月28日消息，国家知识产权局信息显示，上海汉测智能科技有限公司取得一项名为“一种基于空气及水槽控温的电池测试用试验箱”的专利，授权公告号CN222212899U，申请日期为2023年12月。
Copyright © 2025 aigcdaily.cn 北京智识时代科技有限公司 版权所有 京ICP备2023006237号-1
