数学家为AI使用制定规则，发布《莱顿宣言》

本月早些时候，荷兰莱顿大学发布《关于人工智能与数学的莱顿宣言》。该宣言强调，尽管AI在数学验证、问题求解等领域展现出巨大潜力，但研究者与机构必须确保人类判断力、透明度和公平性得到保护。此前，2024年9月的一场研讨会召集了数学、计算机科学等领域专家，讨论AI对数学研究的影响。宣言指出，AI商业化软件融入数学研究后，将改变研究问题的类型和证明形式，可能危及学术自主性。研究表明，AI使用与科学话题多样性缩减相关，那些无法使用或不愿使用专有AI工具的研究者将处于劣势。宣言主张数学成果应继续在同行评审的开放科学出版物上发表，且不得要求读者具备专有知识或使用专有设备。该宣言已获得数学界包括对AI持怀疑和乐观态度的研究者广泛支持，《自然》杂志也对其过程和结论表示全力支持。 #AI #数学 #莱顿宣言 #科研伦理 #开放科学 #Nature

喝水并不复杂

本周《优化指南》简报中，资深测评人维多利亚·宋指出，关于"最佳补水方案"的争论往往过于复杂化。实际上，人体对水分的需求很简单——只要喝足够的水就能满足日常所需。她强调，普通人也无需迷信电解质饮料或特定温度的"功能水"。大量研究和专家建议均表明，纯净水是最经济、最有效的补水选择。真正的关键在于养成规律饮水的习惯，而非追求神奇的饮品。 #健康 #饮用水 #生活方式 #科普 #简讯

Anthropic 推出 Claude Science，瞄准药物研发领域

本周在“AI for Science”活动上，Anthropic 发布了全新的“科学家 AI 工作台”——Claude Science。该平台将分散的工具和数据集整合至统一环境，并可生成图表和可视化内容。Anthropic 凭借其流行的编程工具和强大的 AI 模型已在行业占据主导地位，此番发布意在利用 AI 潜力“大幅加速科学发现进程和医疗干预手段的开发”。公司还列举了众多已在使用 Claude 的生物技术和制药客户，展示了其在生命科学领域的应用前景。 #Anthropic #ClaudeScience #AIforScience #药物研发 #人工智能 #生物科技 #科技新闻

纷享销客发布蜂巢智能体平台，开创Agentic CRM新时代

7月2日，纷享销客正式发布AI原生产品——蜂巢智能体平台ShareHive AgentOS及ShareAgent产品家族，标志着其进入Agentic CRM新时代。该平台旨在将CRM从“记录系统”升级为“行动系统”，使AI深度嵌入业务数据、流程和权限，而非外挂工具。蜂巢采用三层架构：数据底座层连接CRM业务与非结构化数据；AgentOS内核层提供智能体编排、安全审计等能力；Agent服务层通过ShareAgent覆盖营销、销售、服务等场景。实践中，AI能理解业务语义、自动执行任务，并与传统GUI界面融合。纷享销客表示，已与20余家客户完成共创，关键销售周期缩短45%。钟鼎资本投资人认为，这是企业软件从工具转向数字劳动力的关键拐点。 #CRM #AI #纷享销客 #AgenticCRM #蜂巢 #智能体 #企业软件 #科技新闻