On Wed, May 1, 2024 at 10:29 PM Matt Mahoney <[email protected]> wrote:
> Where are you submitting the paper? Usually they want an experimental > results section. A math journal would want a new proof and some motivation > on why the the theorem is important. > > You have a lot of ideas on how to apply math to AGI but what empirical > results do you have that show the ideas would work? Symbolic approaches > have been a failure for 70 years so I doubt that anything short of a > demonstration matching LLMs on established benchmarks would be sufficient. > It's for AGI-2024 in Seattle. It's not easy to prove new theorems in category theory or categorical logic... though one open problem may be the formulation of fuzzy toposes. The "novelty" of my paper, if any, is just to show some connection between category theory and AGI, which may be obscure to other researchers unfamiliar with the subject. The basic idea that runs through all this (ie, the neural-symbolic approach) is "inductive bias" and it is an important foundational concept and may be demonstrable through some experiments... some of which has already been done (ie, invariant neural networks). If you believe it in principle then the approach can accelerate LLMs, which is a multi-billion-dollar business now. ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T45b9784382269087-Mbb3b8550b9ee9532c3d32a08 Delivery options: https://agi.topicbox.com/groups/agi/subscription
