实体
commutative algebra
commutative algebra
PulseAugur coverage of commutative algebra — every cluster mentioning commutative algebra across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新型拓扑神经网络提升分子性质预测能力
研究人员开发了一个名为数学不变式赋能拓扑神经网络（MITNNs）的新框架，以改进分子和材料性质的预测。与使用有限结构表示的现有方法不同，MITNNs 集成了多种数学视角，包括拓扑学、谱理论、交换代数和微分几何。这种多模态方法捕获了更全面的结构信息，并在预测蛋白质-配体结合、金属有机框架性质、蛋白质溶解度和分子毒性方面，与当前方法相比表现出优越的性能。
-
AI框架使用形式化验证解决数学难题
研究人员开发了一个新颖的框架，将非正式推理与形式化验证相结合，以解决复杂的数学问题。该系统由一个名为Rethlas的非正式代理和一个名为Archon的正式代理组成，利用定理搜索和自动证明合成来确保机器可检查的正确性。该框架在最少的人工干预下成功解决了一个交换代数领域的开放性问题，并对其证明进行了形式化验证，展示了AI辅助数学发现和协作的有前景的途径。