https://sourceforge.net/p/maxima/mailman/message/36324684/
Excerpting from a protracted discussion to a question I had about Maxima's "Simplify" options: > Go's 19x19 board permits 3 states per position resulting in the equivalent > of 572 bits of information. A mathematical expression using 6 bit > characters could be up to 95 characters long and fit within the same state > space. > > In Go, a "move" is the placement of a stone on one of the 361 positions. > In algebraic simplification, a "move" applies a known identity -- let's say > there are 361 algebraic identities permitted. > > In Go, you win by maximizing the number of tiles. In algebraic > simplification you win by minimizing the number of bits in the expression. > > AlphaGo learned how to play by observing records of games played. A > similar database could be compiled by a company like Wolfram -- recording > what experts do to simplify various expressions. > > Since Champaign Urbana was my stomping ground back in the halcyon days of > PLATO, maybe I'll take it to one of my mutual acquaintances with Steve > Wolfram. Well, I wasn't able to get through to Wolfram about this. Too bad... ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T675630a1e794c50d-Mf6a5e940ecfdce1f8b5ef459 Delivery options: https://agi.topicbox.com/groups/agi/subscription
