2.1 KiB
2.1 KiB
title, created, updated, type, tags, sources
| title | created | updated | type | tags | sources | |||
|---|---|---|---|---|---|---|---|---|
| Andrzej Odrzywołek | 2026-04-16 | 2026-04-16 | entity |
|
|
Andrzej Odrzywołek
概述
波兰理论物理学家，亚捷隆大学（Jagiellonian University）理论物理研究所研究员。
关键信息
- 机构: Institute of Theoretical Physics, Jagiellonian University, 30-348 Krakow, Poland
- 邮箱: andrzej.odrzywolek@uj.edu.pl
- 研究领域: 理论物理、符号计算、符号回归
主要贡献
EML Sheffer 算子 (2026)
发现了连续数学中的 Sheffer 型算子：$\text{eml}(x,y) = \exp(x) - \ln(y)$，证明单一二元算子配合常数 1 足以生成所有初等函数。这一发现通过系统穷举搜索获得，并通过构造性证明验证了其完备性。
符号回归方法
开发了基于 EML 二叉树的符号回归方法，展示了使用梯度优化从数值数据中精确恢复闭式初等函数的可行性。
工具与代码
- SymbolicRegressionPackage — Mathematica 符号回归包，含 Rust 高速实现
- EML Toolkit — EML 编译器及相关工具
- Zenodo 存档: DOI: 10.5281/zenodo.19183008
发表文献
- All elementary functions from a single binary operator (2026)
arXiv:2603.21852 [cs.SC]
分类：符号计算、机器学习
PDF
发现方法
通过系统穷举搜索发现 EML 算子——这表明通过计算方法寻找基础数学原语是可行的。
重要意义
EML 算子的发现在连续数学中的地位，相当于 NAND 通用性在布尔逻辑中的地位——这是一个基础性结果，对以下领域有深远影响：
- 自动化科学发现
- 神经-符号 AI 集成
- 微积分的极简基础
外部链接
- arXiv 主页: https://arxiv.org/search/cs?searchtype=author&query=Odrzywo%C5%82ek,+A
- 代码仓库: https://zenodo.org/records/19183008
相关页面
- odrzywolek-eml-single-operator — EML 算子论文
- eml-operator — 核心数学概念
- symbolic-regression — 符号回归技术