全部新闻
两位教授授予AI种子赠款，以推进代数证明系统
两位普林斯顿教授Amir Ali Ahmadi和Pravesh Kothari获得了研究赠款，以探索AI如何增强复杂技术中使用的数学证明系统。他们的项目旨在使用AI工具来扩展基于半程编程的代数证明系统，以诸如机器人系统的安全验证和自动定理证明。研究人员计划使用经过过去数据训练的机器学习来加快寻找证明的过程，并以优化的平方之和来解决计算限制。这项工作可能会导致需要严格安全保证的领域自动数学推理。
Fairmont State University的OSIX与Prowave AI合作伙伴，启动开源情报试点计划
Fairmont州立大学的开源情报交易所（OSIX）与Prowave AI合作，使用Prowave的Stylo News Platform启动了夏季飞行员计划，以增强OSINT的现实情况，包括支持西弗吉尼亚国民警卫队的项目。该计划旨在通过用户测试来提高Stylo News的功能，为学生做好准备现代情报角色，并向利益相关者提供及时的情报。该计划由助理教授安德鲁·卡哈尔（Andrew Cahall）领导，将AI工具纳入学术培训，以塑造未来的国家安全专业人员。
香港可以通过挖掘患者数据来领导AI医疗保健中的世界：专家
Sun Yat-Sen University的Wang Haibo教授说，由于其公立医院的临床管理系统中存储的广泛的健康数据，香港有可能开发世界上最先进的医疗保健AI系统。该系统至少包含1100万例患者记录，在美国或欧洲的类似系统中是独一无二的，并且是无与伦比的。
少年获得RO5以整合AI和机器学习在药物发现中 - GeneOnline新闻
青少年已经获得了RO5，以增强其在药物发现中的AI和机器学习能力，旨在提高研究效率并加速新疗法的发展。RO5专门使用AI技术来优化药物研究过程。这一举动与利用AI简化创新并加快将新药推向市场的行业趋势保持一致。
AMD：未来的AI推理怪物（纳斯达克：AMD）
AI推理市场预计将以80％的复合年增长率增长，到2028年可能达到5000亿美元。AMD的MI3555X和即将推出的MI400 GPU在从培训到推理的这种过渡，提供出色的绩效和成本效率方面非常适合。如果AMD捕获了AI加速器市场的10-20％，那么到2028年，数据中心的销售额增长到500亿美元，具有巨大的EPS增长潜力。尽管有执行风险，但由于缺点有限及其对AI芯片领域的NVIDIA的挑战，AMD仍被视为强劲买入。
我将医疗保健带到新加坡的人们的家中。AI正在改变家庭护理，但不能取代临床医生。
Speedoc首席执行官Shravan Verma博士强调，尽管AI将使房屋成为护理中心并改善个性化医疗保健，但由于其独特的能力（例如移情和细致的判断力），它无法取代临床医生。他强调了AI作为临床决策和患者护理的支持工具的作用，这强调了维持人参与复杂医疗方案的重要性。Speedoc已经将AI集成为对患者进行分类和优化临床医生调度的操作，旨在进一步开发预测性护理工具，同时确保AI的透明度和可信度。
Reddit是Google AI概述中第二个最引用的来源，但这可能对其底线意义不大
分析公司Semrush发现，在Google AI概述中，Reddit是仅次于Quora的第二大网站。该研究表明，在这些平台上经常提出的利基问题使它们成为特定AI查询的丰富信息来源。这种偏好也可能源于据报道，据报道，Reddit和Google在2024年之间建立了6000万美元的合作伙伴关系，从而使Google可以使用Reddit的内容训练其AI模型。尽管引用增加，但Google AI概述中的自然语言摘要可能会减少到Reddit的直接流量，因为用户无需单击该网站而找到答案。
收入前景后的Adobe滑倒未能影响AI怀疑论者|公司业务新闻
Adobe Inc.在该公司发布了当前季度的销售预测之后，股票下跌了5.3％，未能使持怀疑态度的投资者对其与以AI为注重的初创公司竞争的能力。尽管展望超出了分析师的估计，但由于AI工具和应用程序不断增长的竞争，因此对Adobe在软件行业中的地位的关注仍然存在。该公司报告说，第二季度财政季度的收入为58.7亿美元，增长了11％，但由于投资者对其AI战略和市场中断的担忧而股价下跌。
我们与中国之间的AI比赛类似于冷战 - 马克·安德森（Marc Andreessen）
Andreessen-Horowitz的联合创始人马克·安德森（Marc Andreessen）警告说，人工智能（AI）的统治地位类似于与中国和美国作为关键参与者的冷战场景。他强调，不同地区可能需要与其社会价值一致的AI模型，这强调了AI在医疗保健和教育等关键部门中的战略重要性。安德烈森（Andreessen）强调了对美国和中国人工智能价值观之间选择的道德含义的关注，强调了AI发展中的地缘政治利益。
Chatgpt的AI编码器Codex现在让您选择最佳解决方案
OpenAI的ChatGpt Codex是用于编码和任务委托的AI工具，正在测试一项功能，允许用户在单个任务同时生成的多个响应中选择最佳解决方案。更新还包括键盘快捷键和增强查询参数。改进专注于更好地处理网络限制，更长的设置脚本持续时间和代码差异功能。Codex基于Codex-1，这是一种针对编码精度的CANTGPT的优化版本，可提供20美元的订阅。
