实体
Carl Friedrich Gauss
Carl Friedrich Gauss
PulseAugur coverage of Carl Friedrich Gauss — every cluster mentioning Carl Friedrich Gauss across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
OpenAI使用AI代理解决数十年历史的数学难题
据报道，OpenAI已使用数千个代理的暴力破解方法解决了存在数十年的纳维-斯托克斯存在与光滑性问题。这一成就虽然在数学上意义重大，但一些人认为它破坏了数学发现的传统艺术过程。数学家通常像艺术家一样处理问题，寻找模式和理解，而OpenAI的方法则优先考虑计算能力而非深刻的见解。
-
I-INR: 迭代隐式神经表示
研究人员推出迭代隐式神经表示（I-INRs），这是一个旨在增强现有隐式神经表示（INRs）的新框架。这种即插即用方法可迭代地改进信号重建，解决了标准INR在频谱偏差和噪声敏感性方面的局限性。I-INRs在参数和计算成本仅略微增加的情况下，实现了卓越的重建质量，在图像拟合和去噪等任务上优于WIRE、SIREN和Gauss等成熟方法。
-
AI模型Gauss助力Viazovska的八维球体填充问题解决方案形式化
八维空间中的球体填充问题，由Viazovska于2016年首次解决，现已达到一个重要的形式化里程碑。Hariharan和Viazovska于2024年3月启动的一个项目，成功使用Lean Theorem Prover验证了该解决方案。该验证的最后阶段于2026年2月完成，Math, Inc.的“Gauss”自动形式化模型提供了协助，这凸显了独特的人工智能与人类协作。