大连的盛夏实在是热的让人心烦（对于我这种既怕热又怕冷的真的没地呆了）。 再加上令人头疼的毕业论文，这种日子怎能缺少MV来解暑呢。 既然要听，怎么只听一首呢，既然学了爬虫怎么让技能荒废呢。 好吧，烦躁的
几个月来，数学家陶哲轩多次尝试使用 ChatGPT 辅助解决数学问题，并与大家分享他的试验结果。网友在围观的同时还会和陶哲轩进行一些交流，或者给出 ChatGPT 的使用技巧建议。
刚刚，陶哲轩大赞：用ChatGPT写Python代码，效果真是太好了，它直接为我节省了数学研究中半小时的工作量！
把英文字母和其他语言编码成一张Unicode编码表，一个字符两个字节 例如：中是20013
最近，热衷于用GPT-4、Copilot做研究的数学大神陶哲轩，又在AI的帮助下发现了自己论文中的一处隐藏bug！
几个月前，我们报道过陶哲轩使用 ChatGPT 辅助解决数学问题。当时，他觉得虽然测试结果不太令人满意，但也并没有对 ChatGPT 持完全否定的态度。他觉得，像 ChatGPT 这类大型语言模型在数学中可以用来做一些半成品的语义搜索工作，也就是用它来生成一些提示。
机器学习技术类书单推荐，共11本： 《机器学习》 《图解机器学习》 《机器学习实战》【有电子版】 《机器学习系统设计》【有电子版】 《Python机器学习基础教程》【有电子版】 《Python机器学习
对于大模型来说，形式化的定理证明也算一种挑战。形式化证明本质上是一种计算机程序，但与 C++ 或 Python 中的传统程序不同，证明的正确性可以用证明助手（比如 Lean 语言）来验证。定理证明是代码生成的一种特殊形式，在评估上非常严格，没有让模型产生幻觉的空间。
---- 新智元报道 编辑：桃子 【新智元导读】数学天才陶哲轩的研究也用上了AI工具GPT-4。有了GPT-4，你想做的，只需复制、粘贴、一键完成！ 当红炸子鸡ChatGPT，也成为数学天才陶哲轩的研究工具了。 近日，他在网上称自己发现了一些ChatGPT的小用例。 首先，它很擅长解析代码格式的文档（在这种情况下是#arXiv搜索的API），然后返回一个正确格式的代码查询（后来它还提供了一些工作的python代码，以我要求的方式调用这个API，尽管我不得不手动安装一个包来使它运行）。其次，我让它想
此前，他经常使用的工具是TeXnicCenter+MiKTeX，并且已经保持了这个习惯将近十年。
「由 Alex Kontorovich 和我领导的一个新的 Lean 形式化项目刚刚正式宣布，该项目旨在形式化素数定理（prime number theorem，PNT）的证明，以及伴随而来的复分析和解析数论的支持机制，并计划给出进一步的结果如 Chebotarev 密度定理。」著名数学家陶哲轩在个人博客中写道。
白开水<czmo***q.com> 2016/7/11 10:27:33 UML中自动执行的用例怎么画，比如，系统自动发送邮件 潘加宇(3504847) 17:15:07 "系统发送邮件"是步骤，看这个步骤是哪个用例里面的步骤了。"自动""手动"等词语尽量不用。 白开水<czmo***q.com> 22:38:38 系统自动发送邮件，是这样的。我们系统采用的MQ进行交互。系统监听MQ队列中的消息。如果有消息进来的话，自动通知相关的人员进行处理。另外，潘老师，我想问一下怎么区分用来，还是用例中的步骤？比如系统发送邮件，可以理解为执行者为系统，可以原来是属于人肉系统执行的， 只是被系统自动做了 潘加宇(3504847) 22:51:56 根据你的描述，用例应该是:时间→监听MQ队列消息。发邮件是里面的步骤。 后面你说的几句话，说明你需要再认真看《软件方法》复习一下 白开水<czmo***q.com> 23:00:29 好的。谢谢老师。我再仔细看看 李俊杰(705***85) 23:05:02 "系统采用的MQ进行交互。系统监听MQ队列中的消息。如果有消息进来的话，自动通知相关的人员进行处理。" 如果只把要实现的功能用这段自然的语言描述出来，开发会看发不出吗？为什么一定要纠结于用例怎么写呢？ 李俊杰(705***85) 23:10:18 写成timer-监听mq队列或写成system-发邮件不都得说明吗？会让开发人员开发错吗？如果遇到开发人员和发问的兄弟对用例的理解差不多时，他是不是更能理解他需要实现什么呢？这些在哪些方面影响工作呢？ 白开水<czmo***q.com> 23:12:21 其实这里讲的就是到底用例有没有个粒度标准 李俊杰(705***85) 23:18:00 依赖于会把用例拿来做什么吧？如果要做成本估算或进行工作量估算可能得定定个颗粒度标准，见过为了绩效考核和缺陷计量而制定用例颗粒度标准的，结果写用例写的很痛苦 李俊杰(705***85) 23:19:28 如果只是用来表达需求，能写到可交流，可沟通，可确认就行吧，能有颗粒度的标准吗？ 李俊杰(705***85) 23:20:08 毕竟用例也是一种语言，语言能有颗粒度的标准吗？ 白开水<czmo***q.com> 23:20:20 也是 潘加宇(3504847) 9:01:46 用例就是教开发人员怎样选择严谨的自然语言描述需求。平时许多开发人员描述的所谓需求，在用例思维的照射之下，就会显得千疮百孔。不信就随便贴一段你们团队写的所谓"需求"来看看。 像上面这一句，"系统采用的MQ进行交互，系统监听MQ队列中的消息"，这里就有问题，"采用的MQ进行交互"这是来自开发团队的设计决策，还是涉众的要求？如果是来自开发团队的设计决策，这个需求是不存在的，应该从涉众的角度找用例（系统为涉众提供的价值），例如：时间→检查新订单并提醒，甚至和"定时"没关系！ 例如"员工提交申请信息"，也可以描述成"员工按下回车键"，还可以描述成"Form1上发生Keypress事件"，还可以描述成"【定时】逐行扫描键位矩阵，确定闭合键的坐标和按键对应的扫描码"是不是有点像定时**MQ？哪个好，就要看系统的核心域是什么。 假设"采用的MQ进行交互"确实是系统的功能需求，系统的核心域知识确实就是这个领域。"系统监听MQ队列中的消息。如果有消息进来的话，自动通知相关的人员进行处理"，监听如何引发，每次监听需要外部执行者来引发吗，还是按照一定时间周期进行？什么叫"有消息进来"？另外，"自动"也是冗余的表达。 潘加宇(3504847) 9:02:42
这次是关于欧拉函数的单调非递减序列，他通过初等论证证明了一个名为M(x)函数的渐近式。
👆点击“博文视点Broadview”，获取更多书讯 “投资是一场反人性的运动，不把自己人性中的弱点洗去，就永远无法摆脱亏损的困扰。” ——齐俊杰 3月21日，上午11:00 《齐俊杰看财经：老齐的投资理财内参》 全网预售开启 13:00，销量已破10000册 很多读者不禁要问： 齐俊杰是谁？ 这本书讲什么？ 它为什么异常火爆？ 齐俊杰 齐家私募基金管理(海南)有限公司董事长 著名投资人 曾就职于北京电视台，采访过数百位知名经济学家； 后就职于爱奇艺，将爱奇艺财经频道打造成为业界标杆； 之后转
learn from https://github.com/Chinese-NLP-book/rasa_chinese_book_code
据各种专业和业余的统计，在机器学习领域，Python语言的热度逐年上升。作为一种计算机程序设计语言，以简洁，易读性被广泛选择。伴随着大数据，深度学习领域的迅速发展，Python作为实现这些方法的友好语言，其拥护者也急剧上升。然而，Python的远远不止于此，编写应用程序，创建游戏，设计算法等等都可以应用其实现。那么，如此强大的编程语言。你是否掌握了呢？
关注到元宇宙这个概念最初是源于林俊杰，我是JJ的老粉，从小听他歌长大，那天看到新闻说他在Decentraland平台上花了12.3万美元买了3块虚拟土地，由此吸引了我的注意。
连同一起被告的还有上海宽娱数码科技有限公司，也就是大家所熟悉的哔哩哔哩（B站）主公司。
在智能手机无所不能的今天，聊天机器人大家并不陌生。语音、文字的，随口都能说出几个。记得最早火起来的，当属人人网上的小黄鸡了吧，那个@小黄鸡风靡一时的时代，如今随着人人网一起光影渐去，令人唏嘘。而那些无聊、逗趣、迷茫的懵懂时光，却历久弥新…… 今天我们就自己来打造一个微信聊天机器人，给大家带来点乐子哈。借助别人已经写好的Python微信调用库——itchat，我们真正要写的代码很少。在代码运行前cmd里运行pip install itchat即可自动下载安装这个库。 Python程序部分，直接上
科达洁能：提升效率、降低开销，大数据实现价值增长
http://www.csdn.net/article/2014-06-27/2820432
近日，“林俊杰买虚拟地产浮亏91%”的消息登上微博热搜。记者了解到，2022年11月，歌手林俊杰在Decentraland——全球最大的元宇宙地产销售平台花12.3万美元购买了3块虚拟地产，最近遭遇价格暴跌，目前价值仅为约1万美元，浮亏91%。该消息引发网友热议，吸引了2.7亿人围观阅读，给元宇宙虚拟地产炒作敲响了警钟。
两个星期以前，就有读者强烈要求我写一篇 Java Stream 流的文章，我说市面上不是已经有很多了吗，结果你猜他怎么说：“就想看你写的啊！”你看你看，多么苍白的喜欢啊。那就“勉为其难”写一篇吧，嘻嘻。
到了2024年，人工智能的热度不减，但口口相传的“百模大战”并未上演。资本市场罕见地“降温”，不少大模型悄无声息地消失，有机会进入决赛圈的大模型创业者，仅剩下寥寥数家。
7月12日一款叫做TDengine的时序数据库项目在GitHub上开源了，这个项目一经发布就稳稳占据了GitHub排行榜的C位，目前TdEngine已经累积了5000多个star,并且连续一周排在上升榜首位。而且你要知道TdEngine的开发语言并不是火热的Python或JAVA，而是C语言。C语言无巧可取，虽见功夫，但是代码比较难读，能引发如此的关注绝对堪称奇迹，在我印象中即使是Mysql也没有达到如此的热度。
杨净 明敏 发自 凹非寺 量子位 报道 | 公众号 QbitAI 虽然说阿里全球数学竞赛，北大是最大赢家。 但在获奖人榜单上，也有不同的身影： 他非北大出身，也并非奥赛圈熟客，但首次参赛就拿了金奖。 今年22岁，还是金奖获奖者中年纪最小的那个。 有的题我不知道怎么做，还能在那瞎试，有时候就试出来了。 他叫陶中恺，本科就读于西安交大。 在此期间，他创造了「16门100分、24门98分、30门以上95分」的神绩。 大一至大三均分成绩达到96.94分。 在伯克利交换时，三门研究生课两门得到A+；其中，代数几何课
去年 2 月份，DeepMind 发布了编程辅助利器 AlphaCode。它使用人工智能技术来帮助程序员更快地编写代码，可以自动完成代码、提供代码建议并检查错误，从而提高编程效率。AlphaCode 的问世意味着 AI 在解决现实世界问题的道路上又迈出了一大步。
前几天，陶建辉对外正式宣布TDengine，一款专为物联网定制打造的大数据平台软件，正式开源。陶建辉将他和团队两年多的时间写下的10多万行C语言代码放在GitHub上，分享给全球的开发者。
👆点击“博文视点Broadview”，获取更多书讯 618马上就要来了，又到了囤书的好日子，这个时候，福利必须到位！ 博文菌为大家努力争取来了200张当当购书优惠券，希望能帮助大家开启省省省的快乐之旅！ ATF8PV（当当20元优惠码） 当当每满100-50 再叠加20元优惠码 实付100可用 花80元买原价200元的书 使用时间：5.25-6.3 数量有限，先买就是赚到！ 如果你不知道最近有哪些好书值得买，那就看看下面这几本吧，贴心的博文菌已经为你整理好了一份近期值得买的爆款新书书单，快来看看吧
注意是否是同一个锁，synchronized()括号内的锁参数：保证是个唯一的资源
近几个月来，著名数学家陶哲轩热衷于用 ChatGPT、GPT-4 等 AI 工具辅助解决数学问题。我们也一直在持续地关注，这不今天又看到了他使用 GPT-4 来帮助自己证明数学定理。
有了Copilot之后，研究做起来也更方便了，陶哲轩也用它辅助自己完成了最新的研究成果。
Pine 梦晨 发自 凹非寺 量子位 | 公众号 QbitAI ChatGPT，已经成为天才数学家陶哲轩的研究助手了！ 不止ChatGPT，他还直接在网上宣布： 多种AI工具都会纳入自己的工作流。 最近这些日子，陶哲轩对AI可是青眼有加，甚至在网上只谈论一个话题：AI，特别是大语言模型在数学研究中的应用。 期间，各种ChatGPT的“隐藏功能”都被陶哲轩挖了出来： 大到寻找公式、辅助证明定理；小到改写论文语句、查询小语种数学名词的发音。 而为何突然对AI协助工作这么关注？陶哲轩用自己的老本行数学对AI做
鹅妹子嘤，天才数学家陶哲轩搞数学研究，已经离不开普通人手里的“数学菜鸡”GPT了！
调用String对象的charAt()方法，得到char字符，参数：int类型的索引
谈起他最近将要发布的一篇推文主题，涛思数据CEO陶建辉笑称，世界500强高科技公司的CEO也得写代码。作为一个50多岁还在写代码的“10倍工程师”，他在最近开源的TDengine 2.0版中又写了超1万行代码。
11月19日，《2014年中美移动互联网调查报告》在北京发布。该调查报告是国家广告研究院互动营销实验室与美国互动广告局（IAB）针对中美两国移动互联网用户行为，联合开展调查活动取得的成果。 国家工商总局广告司司长张国华出席了调查报告发布会。国家广告研究院院长丁俊杰在发布会上介绍了中美移动互联网用户行为和偏好十大相同点和差异点。 丁俊杰表示，相同点包括：两国移动智能终端的使用率都很高，并且智能手机比平板电脑的伴随性强；70%以上的移动互联网用户对智能手机有依赖性，普遍认为智能终
然后他用语言描述了如何对第一块的内容做估计，以及说明了一下如何估计剩下两块的内容。
最近，一个数学公式引发了广泛关注。事情是这样的，三位物理学家请教数学天才、菲尔兹奖得主陶哲轩一个偶然发现的公式。陶哲轩的第一反应是不太可能：这么短、这么简单的东西，早就应该出现在教科书里了。
---- 新智元报道 编辑：编辑部 【新智元导读】7月6日上午，天津大学智能与计算学部副主任、软件学院院长、博士生导师陶文源教授，因突发疾病逝世。 7月6日，天津大学软件学院院长陶文源教授突发疾病去世，年仅51岁。 陶文源博士，是天津大学教授、博导，同时也是天津大学智能与计算学部副主任、软件学院院长、软件工程国家一流专业负责人，以及《软件工程实训》国家一流课程负责人。 主要的研究方向包括：虚拟现实/增强现实技术、数字媒体技术、物联网技术与应用、服务计算等等。 陶文源教授曾发表多篇高水平教改论文，出
任取一个正整数，如果是偶数，将其除以2。如果是奇数，将其乘以3再加1，然后重复这个过程，最后结果都是1。
---- 新智元报道 编辑：编辑部 【新智元导读】最近，「数学天才」陶哲轩表示，自己将领导白宫生成式人工智能工作组，就当前AI评估并收集意见。在陶哲轩看来，加入工作流的ChatGPT在数学专业领域中，并没有太多增值。 近来，美国总统科技顾问委员会（PCAST）成立了一个生成式人工智能工作组。 值得一提的是，数学天才陶哲轩在这个工作组中担任了co-leader的角色。 陶哲轩在自己的博客发文称，我和Laura Greene共同主持这个生成式人工智能工作组。 他博客中表示，这一小组主要研究生成式人
机器之心报道 机器之心编辑部 数学家们曾预测，如果对形状如何平铺空间施加足够的限制，他们可能必然出现周期性模式，但事实证明不是这样。 几何学中，最难攻克的问题往往是一些最古老、最简单的问题。 自古以来，艺术家和几何学家们就想知道几何形状如何在没有间隙或重叠的情况下铺满整个平面。然而用罗切斯特大学数学家 Alex Isoevich 的话来说——这个问题「直到最近才有所进展。」 数学家想知道什么时候可以形成非周期性的平铺模式——像彭罗斯平铺这样的模式，永远不会重复。 最明显的瓷砖重复模式是：用正方形、三角
母亲节这天，鹅老师突然被拉进了一个群聊.... 不得不感慨，除了白娘子，从古到今多得是操碎了心的老母亲... 每个人一生，母亲对自己的影响总是巨大的，在这些青史留名的“母亲”们中，大家最为耳熟能详的莫过于“孟母、陶母、欧母、岳母”四大贤母。 这些带娃业务一流的贤母天团，如果从古代穿越到了现代，他们会不会被现代教育黑科技吓到呢？请看古代老母亲的现代带娃盘点。 【高知型】 欧母画荻教子，奈何效率太低？ 位列"唐宋八大家"之一的欧阳修，小时候家中贫寒买不起纸笔，欧母便在地上铺上一层沙，以地当纸，
具体来说，陶哲轩列出了论文中一些方程引用缺失，集中在63-67页、70页、98-99页，以及结尾的109页。
几年前，数学家证明了，无论你想出的密铺多么复杂或巧妙，如果只能对单个密铺使用平移，那么就不可能设计出一个只能非周期性地覆盖整个平面的密铺。
三周前，他曾发布一篇博文，记录下自己使用Blueprint在Lean4中形式化多项式Freiman-Ruzsa猜想的证明过程。
这也是时隔一年，他再次独立发表新论文。（arXiv显示上一篇独作论文发表时间是在去年2月）
陶大程，悉尼大学教授、优必选悉尼大学人工智能中心主任、优必选人工智能首席科学家。从本科到博士，从大学教授到欧洲科学院外籍院士、澳洲科学院院士，他一直专注于人工智能的研究，在基于数据发展的机器智能时代里，他与世界上大部分AI学者一样，从学界跨入工业界，投身人工智能的第三次浪潮。在这次“数据科学50人”系列专访的对话中，他用自己的学识与眼界向我们阐述了自己对数据科学与人工智能的观察，希望给予读者思索与启发。
博创联动是一家为农业机械和新能源汽车提供解决方案的技术公司。在 2014 年正式进入农业机械领域以前，这家公司在车辆工程和大型装备行业深耕数十年，为工程车、机械设备、军用车等厂商提供可以让产品智能化的配套设备。 正是因为这样的技术积累，在农机领域，这家公司已经与国内前十大农机制造企业中的八家达成了合作关系，并「至少占据了当中三分之一的市场。」而在新能源汽车领域，该公司预计到 2020 年其产销量将达到每年 500 万台，销售规模到达 7 亿。 虽然硕果累累，但作为博创联动的创始人，陶伟的野心不止于此。在未来
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
对象存储
腾讯会议
实时音视频
