A video talking about open ai's recent ai's ability to prove 10 unsolved problems in mathematics. It elaborates on the way the proof was verified, how mathematicians have commented on its proofs and tested it, and how this amazing feat takes us closer to agi.
There is some controversy given earlier this year models failed at similar tasks, no errors have yet been found on the latest proofs from more recent models, but they're still being reviewed.
"Intelligence and understanding started as a memory system that fed predictions into the sensory system. These predictions are the essence of understanding. To know something means that you can make predictions about it."- Jeff Hawkins"[We need to see the brain] not as a fast processor, but as a memory system that stores and plays back experiences to help us predict, intelligently, what will happen next."- Jeff Hawkins
As famous entrepreneur and researcher Jeff Hawkins once commented, it is likely general intelligence itself is an advanced memory system. As I've commented previously, the ability to handle incomplete data, or patterns, and complete them appears essential. Sequence or token prediction is a form of pattern completion, so there is high promise even to LLMs if they continue to be augmented and improved to more effectively manage memory.
