「智能测试用例生成系统」共找到 4835 篇相关文章
21岁MIT辍学，估值3亿美金！誓要自动化十亿小时办公
两个MIT辍学生创办AI合规初创公司Delve，成立半年获3200万美元融资，估值达3亿美元。他们用AI智能体解决企业合规痛点，目标是自动化十亿小时人类办公，虽有竞争，但凭借领域深度脱颖而出。
SOMA Robotics 陈天一：当一个追求自由的人决定跳入创业的牢笼 | 00 后创业者系列
本文讲述SOMA Robotics创始人陈天一的创业故事。他从小追求自由，休学创业，起初项目不顺，后项目入选奇绩创坛。他谈创业感受、选择具身智能赛道原因及SOMA创新等，认为创业是直面现实的修行。
提速79%！上交大新方法优化企业级AI流程调度 | IEEE ICDCS’ 25
上海交通大学朱怡飞教授团队联合江行智能提出调度框架LLMSched，解决复合LLM应用任务运行时长和结构不确定问题。该框架重构DAG模型，用贝叶斯网络和熵减机制优化调度，实验显示最多降79%平均任务完成时间。
「硅谷大乱」小扎挖人细节来了：4年总包3亿美金，第一年可直接获得1亿美金，被OpenAI多人拒绝
为组建Meta超级智能团队，挽回Llama4失败局面，扎克伯格简单粗暴挖人，开出四年总包超3亿美元、首年到手1亿的薪酬，还提供领先算力。至少10名OpenAI员工拒绝，这撕裂了硅谷“使命驱动”文化。
o1核心贡献者离职后首发声：AI是史上最强杠杆，超越人力、资本和代码
刚被曝加入Meta的前OpenAI核心研究员Hyung Won Chung，分享对AI未来的思考。他认为AI是最强大杠杆，能成个人能力倍增器，智能体开启无需许可的复合杠杆，还能推动人类科学进步。
号称1200万token上下文的模型来了，数据亮眼但疑点重重
当地时间5月5日，Subquadratic公司推出模型SubQ，称是LLM智能重大突破，有1200万token上下文。数据亮眼，如在1M token场景比FlashAttention快52倍等，但也引发质疑，有人推测是对开源模型微调，官方未公布详细模型卡。
速戳！2026中国科幻大会北京未来数字空间创新试验区产业引领论坛亮点抢先看
2026第十届中国科幻大会将在北京首钢园召开，“北京未来数字空间创新试验区产业引领论坛”3月29日亮相。论坛有四大亮点，包括“街区式”创新平台亮相、“三重智能”协同勾勒技术路线等，还汇聚多方资源构建产业创新生态。
Gemini再揽金牌，力压大学学霸，AI数学推理时代来了！
苏黎世联邦理工学院博士生在大学生国际数学竞赛（IMC）测试了Gemini三种模式，其表现远高于金牌门槛，远超普通大学生。研究人员还从模型输出提取见解，展现了Gemini在数学推理上的优势，凸显AI数学推理能力日益强大。
从打分器到思考者：RM-R1用推理重塑模型价值判断
伊利诺伊大学香槟分校团队提出 RM - R1 框架，将奖励建模定义为推理任务。它引入推理奖励模型和链式评估准则机制，经两阶段训练，在多基准测试中表现超大规模模型，验证了推理能力对奖励模型的重要性。
Fable 5手搓首个CUDA「超级内核」！2.5小时狂飙18.7倍
在GPU算子基准测试KernelBench - Mega中，Fable 5全程纯手搓CUDA，速度狂飙18.7倍，把GPT - 5.5甩开4倍多。它写出史上首个‘超级内核’，2.5小时约55万token完成编写。Anthropic联创称这标志‘RSI循环’开启。