飞鸟实验室
Bottom-up
俯瞰范式
演生论和范畴论
Interdisciplinary
跨界突破
反学科、无方向、非共识
Radical
激进创新
颠覆传统、勇闯无人区
Dynamic
兴趣驱动
好奇心的动力机制
AI × Math:
无尽的前沿
NP-完全的布尔可满足性(SAT)问题
NP-完全的布尔可满足性(SAT)问题

针对NP完全问题中传统布尔可满足性(SAT)求解过于随机的痛点,该组将SAT公式建模为变量子句二部图,通过Region-UCB和Flip-UCB机制智能指导搜索与翻转,并由大模型动态生成算法策略。实验显示,该方案在相同时间内取得极高准确率,hard准确率较次优方法大幅提升10.5%,并已初步迁移至纳米药物递送和临震电场异常检测场景。

以有限飞行探无限之美
以有限飞行探无限之美

围绕埃尔德什莫泽问题、作业车间调度、旅行商等一系列典型优化难题,该组借助AI Agent实现了从文献调研、代码生成到算法组合的闭环验证。在车间调度测试中,其构建的混合优化框架将最大完工时间由2307秒降至1822秒(提升约21.03%),并完成了 AI 算子自适应大邻域搜索机制的理论与实践探索。

扩散去噪 Bandit-LNS 算法在智能装箱优化中的应用
扩散去噪 Bandit-LNS 算法在智能装箱优化中的应用

该组以装箱问题为统一数学底座,借鉴扩散去噪思想设计动态扰动调度,引入Bandit机制自适应选择修复算子。在Falkenauer全集测试中,该方法相对最佳适应递减算法取得了“47胜、113平、0负”的优势,展现出较强的稳定性,并延展至心超视频抽帧(速度提升200%)、金属3D打印排布及低功耗传感器部署等跨界场景。

复杂交叉中的AI×Math
复杂交叉中的AI×Math

针对带释放时间、权重和延误代价的复杂调度难题,该组将决策解构为 “机器状态控制” 与 “任务精细分配” 两个核心层次,通过启发式搜索与最小费用匹配高效求解。该数学模型展现出惊人的跨领域迁移泛化能力,先后在医院数字病理流程调度、个人主动健康管理和水声工程等多个实际场景进行了初步落地验证。

智能体工作流——MCLP最大覆盖选址问题研究
智能体工作流——MCLP最大覆盖选址问题研究

聚焦最大覆盖选址问题(MCLP),该组打造了由总控大脑、Benchmark/Solver/实验/验证等多个Agent及黑板机制构成的自动化闭环科研系统。工作流自主进化出的4种算法均达到全局最优,最快仅需5.13秒;该系统在大规模实例中将覆盖率极限提升至0.918,并模拟了西安市新城区AED部署的最优方案。

自有限至无穷
自有限至无穷

该组借助智能体在海量基础数学问题中精准筛选出拓扑序列熵、模7分拆函数等方向,并全面辐射至小样本病态线性反问题、雷达实时调度及图像融合等工程前沿。其中,小样本病态反问题通过流形几何和最优传输实现鲁棒重建;其自主研发的无人机智能控制Agent实现了自然语言驱动的自主规划与拍摄闭环,目标成功率达到88%。

含噪图通信中的硬投票全状态重构
含噪图通信中的硬投票全状态重构

该组针对分布式网络边传输随机翻转、节点仅邻居通信下的高难度信息恢复难题(要求 n×n 条目同时正确)开展探索。在否定两类传统多数投票规则后,他们提出 k=3 硬窗口多数投票机制。实验表明,该方法在随机正则图呈现清晰度数门槛,n=1024 时,仅需对数级度数即可达到 100% 全成功率,具备向大型传感器网络和多智能体边缘监测迁移潜力。

NP-完全的布尔可满足性(SAT)问题
NP-完全的布尔可满足性(SAT)问题

针对NP完全问题中传统布尔可满足性(SAT)求解过于随机的痛点,该组将SAT公式建模为变量子句二部图,通过Region-UCB和Flip-UCB机制智能指导搜索与翻转,并由大模型动态生成算法策略。实验显示,该方案在相同时间内取得极高准确率,hard准确率较次优方法大幅提升10.5%,并已初步迁移至纳米药物递送和临震电场异常检测场景。

以有限飞行探无限之美
以有限飞行探无限之美

围绕埃尔德什莫泽问题、作业车间调度、旅行商等一系列典型优化难题,该组借助AI Agent实现了从文献调研、代码生成到算法组合的闭环验证。在车间调度测试中,其构建的混合优化框架将最大完工时间由2307秒降至1822秒(提升约21.03%),并完成了 AI 算子自适应大邻域搜索机制的理论与实践探索。

扩散去噪 Bandit-LNS 算法在智能装箱优化中的应用
扩散去噪 Bandit-LNS 算法在智能装箱优化中的应用

该组以装箱问题为统一数学底座,借鉴扩散去噪思想设计动态扰动调度,引入Bandit机制自适应选择修复算子。在Falkenauer全集测试中,该方法相对最佳适应递减算法取得了“47胜、113平、0负”的优势,展现出较强的稳定性,并延展至心超视频抽帧(速度提升200%)、金属3D打印排布及低功耗传感器部署等跨界场景。

复杂交叉中的AI×Math
复杂交叉中的AI×Math

针对带释放时间、权重和延误代价的复杂调度难题,该组将决策解构为 “机器状态控制” 与 “任务精细分配” 两个核心层次,通过启发式搜索与最小费用匹配高效求解。该数学模型展现出惊人的跨领域迁移泛化能力,先后在医院数字病理流程调度、个人主动健康管理和水声工程等多个实际场景进行了初步落地验证。

智能体工作流——MCLP最大覆盖选址问题研究
智能体工作流——MCLP最大覆盖选址问题研究

聚焦最大覆盖选址问题(MCLP),该组打造了由总控大脑、Benchmark/Solver/实验/验证等多个Agent及黑板机制构成的自动化闭环科研系统。工作流自主进化出的4种算法均达到全局最优,最快仅需5.13秒;该系统在大规模实例中将覆盖率极限提升至0.918,并模拟了西安市新城区AED部署的最优方案。

自有限至无穷
自有限至无穷

该组借助智能体在海量基础数学问题中精准筛选出拓扑序列熵、模7分拆函数等方向,并全面辐射至小样本病态线性反问题、雷达实时调度及图像融合等工程前沿。其中,小样本病态反问题通过流形几何和最优传输实现鲁棒重建;其自主研发的无人机智能控制Agent实现了自然语言驱动的自主规划与拍摄闭环,目标成功率达到88%。

含噪图通信中的硬投票全状态重构
含噪图通信中的硬投票全状态重构

该组针对分布式网络边传输随机翻转、节点仅邻居通信下的高难度信息恢复难题(要求 n×n 条目同时正确)开展探索。在否定两类传统多数投票规则后,他们提出 k=3 硬窗口多数投票机制。实验表明,该方法在随机正则图呈现清晰度数门槛,n=1024 时,仅需对数级度数即可达到 100% 全成功率,具备向大型传感器网络和多智能体边缘监测迁移潜力。

核心体验
直击奇点:AI 与 Math 的双向赋能
深入探索数学为 AI 提供的严谨底层逻辑,以及 AI 为数学发现开启的新范式,实现算法力量与逻辑深度的双向交融。
寻根溯源:重塑基础学科的基石力量
拨开浮躁的技术泡沫,引导营员潜入以数学为首的基础学科深水区,从源头上探寻支撑大科学时代的原始创新动能。
颠覆常规:激荡纯粹的非共识创新
秉承飞鸟理念,剥离功利导向,以“天真视角”珍视并孵化每一个挑战传统、突破学科边界的“非共识”奇思妙想。
巅峰论道:“创新港会议”首秀
特邀多位国内顶尖高校的数学、人工智能学院院长,共同围绕 AI×Math 的前沿议题展开深度学术对话,共建中国版“达沃斯”的思想交锋高地。
查看更多
飞鸟营导师
新闻动态
查看更多
主办单位
承办单位
协办单位