in case someone wonders why this hasn't been attacked much by humans:
Gluons are "force carrier" virtual particles; you're probably familiar with photons, so gluons are the same thing, except they have no existence outside of the nucleus in any regular situation.
Understanding them better might help interpret crazy high-energy cosmic rays, or improve the understanding of why each nucleus has its binding energy, although they have zero effect on things that only deal with electromagnetism, and the edge cases investigated in this research don't even come up in standard nuclear physics.
It's still a cool use of models in a rigorous domain, and I hope it's not simply the same kind of models with more training data and parameters... because that would still not be 100% reliable, as opposed to something which incorporates some fundamentally new mechanism for the rigorous reasoning, and could be as reliable as a theorem-proving system.
in case someone wonders why this hasn't been attacked much by humans:
Gluons are "force carrier" virtual particles; you're probably familiar with photons, so gluons are the same thing, except they have no existence outside of the nucleus in any regular situation.
Understanding them better might help interpret crazy high-energy cosmic rays, or improve the understanding of why each nucleus has its binding energy, although they have zero effect on things that only deal with electromagnetism, and the edge cases investigated in this research don't even come up in standard nuclear physics.
It's still a cool use of models in a rigorous domain, and I hope it's not simply the same kind of models with more training data and parameters... because that would still not be 100% reliable, as opposed to something which incorporates some fundamentally new mechanism for the rigorous reasoning, and could be as reliable as a theorem-proving system.