Video about navier stokes equation and the math behind it.
Another video, this one I got the link while live. I think they're covering the recent news of ai proof discovered.
edit: a video about the controversy
edited:
Some interesting news links, about the claim the amount of cost in compute, and the controversy or drama brewing.
I will say mathematicians can avoid any drama of potential conflict regards credit or authorship by using local private ai models that do not share their prompts or ai assisted findings. The open-source models are rapidly catching up to and at times exceeding the closed source models.
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.
