历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？ 用AI工具辅助研究数学的项目，再一次被陶哲轩跑通！ 三周前，他曾发布一篇博文，记录下自己使用Blueprint在Lea…

信息的本质，就是找到确定性。 信息的本质，就是消除不确定性。 信息论创始人香农(Shannon)虽然早在1948年就已提出关于信息本质的论述，但认识到信息是一种可以被使用的独立资源，还是上世纪80年代以来的事情。 信息爆炸的数字时代，信息获取的确变得容易，但如何从中检索到个体需要的关键信息，几乎成了…

此前风传可以取代智能手机的人工智能（AI）技术加持新品正式亮相。有评论称，这款可穿戴设备将考验消费者对AI的兴趣，以及后智能手机未来的潜力。 北京时间11月10日周五，前苹果设计师Imran Chaudhri和Bethany Bongiorno成立的初创公司Humane发布名为AI Pin的AI硬件…

上个周末，马斯克发布了他的首个AI大语言模型Grok，宣称很多方面都是业界最佳。但仅仅一天后，OpenAI就向业界展示了更大的生态平台野心，他们已经在生成式AI的行业竞争中占据着明显的领先优势。向来习惯引领行业的马斯克，这一次只能不甘心地扮演追赶者的角色。 创办两个月就发新品 过去这个周末，马斯克的…

引爆了整个科技圈的生成式AI，给苹果打了个措手不及。 彭博称，苹果内部团队正加急测试聊天机器人Apple GPT，并计划将全新生成式AI能力塞进“全家桶”。 CEO库克多次对外称，苹果多年来一直在研究生成式AI，高管们从去年年底就开始寻找挽救措施。 现如今，苹果的一切起步早已远远落后于竞争对手。 但…

新入手的奢侈品是真是假？你养的狗子是什么品种？刚到货的大闸蟹来自哪里？近日，闲鱼验货服务能力迎来全新升级，推出“AI鉴定”和“宠物鉴别”功能，高效解决各种品类“身份来源识别”的难题。 AI加持下，大闸蟹的“身份”来源不再成谜 时值金秋，正是吃蟹好时节，而每到这个节点，大闸蟹的“身份”之争也是食客们关…

AI的产业化或许是今年跨境电商的一大变量。 ChatGPT横空出世后，各行各业都希望借助大模型为自己带来更多更深刻的改变。关于AI的讨论、迭代也在跨境电商圈内快速升温。 有人说，跨境电商是一个非常适合AI来改革的领域。不少跨境服务商在调研后发现，50%以上的商家在经营环节里，已经用过一款或几款AI产…

RPA之所以如此受欢迎，是因为它涉及使用“机器人”来自动化通常由员工完成的大批量、低复杂性及重复性任务。 RPA的基本情况很明确，这些机器人解放了员工，让他们专注于更多增值任务，并降低企业的总体成本。它们可以每天 24 小时运行，避免人为错误，并处理大量任务。 适合RPA的任务包括处理事务、操作数据…

大模型不再是新鲜词，市场对各类大模型已经出现了审美疲劳。当下更重要的议题是在具体的场景里，大模型如何落地。 作为国产办公软件，有35年发展历程的金山办公，在办公场景中给出了自己的答案。 早在7月初，金山办公亮相2023世界人工智能大会，就推出了基于大模型的智能办公助手WPS AI，为旗下多个办公产品…