180-8888-0875
自2011年以来，瑞士连续14年全球创新指数排名第一，是全球重要的创新策源地，也是中国首个创新战略伙伴关系国，在创新发展和科技金融领域与中国具有极佳互补性。
由Venturelab主办的“瑞士创新100强”，汇聚了最佳“瑞士制造”的初创及成长期科技创新企业，是瑞士最具国际影响力的创新生态标杆。自2011年以来，该榜单每年在瑞士全国范围内评选出100家最具开创性和市场前景的瑞士创新企业和25家最具独角兽潜力的瑞士成长期企业，覆盖生命九游娱乐 九游娱乐官方科学、工程机械、机器人、信息通信、低碳科技、食品科技等领域。
为了全方位展示和介绍瑞士最前沿的创新科技，钛媒体APP与Venturelab的中国授权合作方以明科技（Insight Tech）合作推出《瑞士创新100强》专题，全面展示瑞士先锋科创生态的全景。
本文为专栏第182期，介绍的LogicStar是2025年《瑞士创新100强》上榜企业，其致力于研发代码智能体。
瑞士信息与通信科技公司LogicStar成立于2024年，公司致力于研发代码智能体。该智能体融合了大语言模型的最新进展和经典的计算机科学技术，可迅速定位当前软件系统中存在的代码漏洞，并通过调用适配的大语言模型生成修复方案，全程无需人工介入。
LogicStar是苏黎世联邦理工学院与INSAIT的衍生公司，由Boris Paskalev、Mark Müller与Veselin Raychev与Martin Vechev 共同成立。Boris Paskalev为公司首席执行官，拥有美国麻省理工学院计算机科学与电气工程硕士学位，为DeepCode联合创始人，担任LatticeFlow、Netfabric等多家企业顾问，同时还是INSAIT（保加利亚国家计算机科学、人工智能与技术研究所）的战略创业顾问。Mark Müller为公司首席技术官，拥有苏黎世联邦理工学院计算机科学博士学位。Veselin Raychev为公司首席架构师，拥有苏黎世联邦理工学院计算机科学博士学位，同为DeepCode联合创始人。Martin Vechev为公司顾问，目前担任苏黎世联邦理工学院教授，为INSAIT（保加利亚国家计算机科学、人工智能与技术研究所）创始人。
软件行业长期面临应用程序维护的复杂性问题，这是开发过程中最耗时的环节。传统方法通常依靠人工监督和修复漏洞，调试过程耗费大量时间和资源，大量待处理漏洞往往堆积数周甚至数月得不到处理，导致开发团队约有40%的工程时间耗费在问题分类和修复上，以致无法专注于新功能开发。AI编码代理虽然在基准测试和简单任务中表现出色，但在复杂环境下却容易出错。
AI智能体（AI Agent）正在迅速发展，预计在未来十年内将对企业业务运营、决策制定和自动化产生变革性影响。在美国，企业级AI智能体2024年市场规模为7.695亿美元，预计到2025年将增长至10.7亿美元，到2030年复合年增长率（CAGR）将达到43.6%。
LogicStar开发了一款用于代码漏洞自主修复的智能体（AI Agent），能够自动识别、重现和修复软件系统中的高精度代码错误，减轻软件维护和调试负担，使工程团队能够专注于开发新功能。
LogicStar智能体的核心在于将深度语义代码推理与大语言模型的生成能力相结合。该智能体使用经典的计算机科学方法对部署其技术的每个应用程序进行深入的静态和动态分析，能全面了解软件的所有重要模块，其功能、输入输出、内外通信、变量与函数之间的关联方式，以及其他任何关联和依赖关系等。基于这种丰富的上下文信息，对于遇到的每一个缺陷和漏洞，智能体都能够精准识别是应用程序的哪些部分出现了问题，进而缩小需要模拟的范围，在“最小化执行环境”中，运行数千个旨在重现错误的测试，以精确识别漏洞的发生方式和位置。这实际上是在尝试创建和测试一小段代码或脚本，其测试目的是“如果执行这段代码，就会触发这个特定漏洞”，进而验证该漏洞真实存在而非偶发。确认漏洞原因后，智能体会选用各种适合的大语言模型，要求尝试修复该漏洞，并对多个候选修复方案进行验证，最终确定最佳方案。
在将修复方案送给开发人员之前，Logicstar的智能体会对多种不同方案进行反复的独立测试以及验证，确保仅将经过验证的方案传递给开发团队，全过程无需人工介入。智能体会始终展示工作过程，用户也可安排开发人员审核和监督智能体提出的修复方案。
Logicstar的智能体创造的这种“最小化执行环境”，让用户能更小范围、低成本、大批量地利用大语言模型资源，降低运营成本的同时提升找到正确方案的概率。经测试，LogicStar可将漏洞平均修复时间缩短95%，并完全自主修复40%的应用程序缺陷；对于多数拉取请求，具备100%测试覆盖率，且通过静态验证。
2025年《瑞士创新100强》中文版由以明科技（Insight Tech）荣誉发布。以明科技是《瑞士创新100强》的中国授权合作方，负责《瑞士创新100强》在中国的运营推广并协助榜单项目对华商业合作。以明科技是中欧（瑞士）产业创新合作服务商，致力于以创新加速器、股权投资和商业咨询服务，促进瑞士创新中国化和中国产业国际化。
青岛胶东国际机场综合管理处三级调研员郝强涉嫌严重违纪违法，主动投案，目前正接受青岛市纪委监委纪律审查和监察调查。
近日，据澳门治安警察局消息 ，今年11月份，当地警方开展打击卖淫行动，截获疑从事卖淫活动的10名女子及2名女性打扮男子。经调查，涉案人员年龄18至40余岁，其中10人承认来澳门从事卖淫活动以赚取金钱，因涉嫌从事与旅客身份不符活动，一干人等移交出入境管制厅处理。
针对这一坊间传闻，记者第一时间实地走访并从相关部门核实获悉:目前“三胖” 试营业具体时间尚未正式对外官宣，胖东来相关负责人将于12月19日前往项目现场，实地考察筹备进度，最终开业相关安排将根据本次考察结果统筹确定。
12月18日，总台国防军事频道《砺剑》栏目中，公布了辽宁舰编队远海训练视频片段。视频显示，日前，中国海军辽宁舰航母编队在宫古海峡以东海域正常组织舰载战斗机飞行训练，事先公布了训练海空域，并在训练前多次向附近海域日舰现场通报，日舰已回复收到。
12月17日，商都县公安局治安管理大队民警在工作中发现线索，辖区某小区内疑似存在卖淫嫖娼违法活动。民警立即开展深入调查，逐步固定相关证据，最终确认该小区内一处民房中有卖淫嫖娼行为发生。
界面新闻记者 袁颖琪亿田智能（300911.SZ）一则资产出售公告引发市场震动。全资子公司甘肃亿算智能科技有限公司（下称“甘肃亿算”）拟以1.56亿元总价，向华庆超算（甘肃）科技有限公司（下称“华庆超算”）出让600台燧原云燧智算机。
毛万春在省财政厅宣讲调研实施更加积极的财政政策为全省高质量发展提供坚实保障湖南日报12月19日讯（全媒体记者 陈昂昂）19日，省政协主席毛万春率队在省财政厅宣讲党的二十届四中全会、中央经济工作会议和省委十二届九次全会精神，征求对省政协明年工作的意见建议。省政协副主席胡伟林参加。
要说2025年谁最大悲大喜，那肯定是日本的水产商们了。因为一则消息让他们的北海道冷冻扇贝在时隔两年之后，终于再次踏上了运往中国的航线日
豆包大模型日均token用量破50万亿后，火山引擎将主战场押注Agent
服务热线 180-8888-0875 