We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
David Silver's new $4bn company, Ineffable Intelligence, will fulfil the promise of the Era of Experience. https://t.co/FhanPcuIUJ
https://t.co/5LGXWwGZ6M
Professor @LaurieAdkin did a great interview for the @The_Gateway discussing her new book about the corporatization of higher education in Alberta.
Very strong critique of University of Alberta student government.
https://t.co/qFAIoW3saS
https://t.co/dW1mBPdS2f
Machines that learn from experience were explored by Alan Turing almost eighty years ago, which makes it particularly gratifying and humbling to receive an award in his name for reviving this essential but still nascent idea.
Congratulations to Dr. Richard S. Sutton, @AmiiThinks's Chief Scientific Advisor, who received the prestigious 2024 A.M. Turing Award. With all 3 scientific leads of our national AI institutes now Turing Award winners, our AI ecosystem has never been stronger. We’re proud to celebrate this milestone with Dr. Sutton and the entire AI community!
BREAKING: Amii Chief Scientific Advisor, Richard S. Sutton, has been awarded the A.M. Turing Award, the highest honour in computer science, alongside Andrew Barto! Read the official @TheOfficialACM announcement: https://t.co/JXDhdEsQv7
#TuringAward#AI#ReinforcementLearning
We are living in a timeline where a non-US company is keeping the original mission of OpenAI alive - truly open, frontier research that empowers all. It makes no sense. The most entertaining outcome is the most likely.
DeepSeek-R1 not only open-sources a barrage of models but also spills all the training secrets. They are perhaps the first OSS project that shows major, sustained growth of an RL flywheel.
Impact can be done by "ASI achieved internally" or mythical names like "Project Strawberry".
Impact can also be done by simply dumping the raw algorithms and matplotlib learning curves.
I'm reading the paper:
> Purely driven by RL, no SFT at all ("cold start"). Reminiscent of AlphaZero - master Go, Shogi, and Chess from scratch, without imitating human grandmaster moves first. This is the most significant takeaway from the paper.
> Use groundtruth rewards computed by hardcoded rules. Avoid any learned reward models that RL can easily hack against.
> Thinking time of the model steadily increases as training proceeds - this is not pre-programmed, but an emergent property!
> Emergence of self-reflection and exploration behaviors.
> GRPO instead of PPO: it removes the critic net from PPO and uses the average reward of multiple samples instead. Simple method to reduce memory use. Note that GRPO was also invented by DeepSeek in Feb 2024 ... what a cracked team.
Took this photo at NeurIPS 2024.
If someone in 20 years asks, “What was the AI boom?”, I’ll show them this:
The job posting board at NeurIPS, completely full within a day.
#NeurIPS2024#NeurIPS
Excited to attend NeurIPS 2024 in Vancouver, BC! Looking forward to connecting with fellow researchers and scientists to discuss the latest in AI and machine learning. If you’re attending, feel free to reach out. I’d love to connect and exchange ideas! 🚀
#NeurIPS2024#AI#ML
Are you heading to the @CSBiomech Canadian Society for Biomechanics 2024 conference? If so, let’s connect—drop me a message, and we can meet up!
I’m looking forward to presenting two of our latest projects on wearable sensors.
- August 20, 1:45 PM to 3:30 PM, Klondike Room (Session 7): “Crossover Technique Does Not Impact Steady-State Skating,” is another collaborative effort with @AminrezaKhandan Aminreza Khandan, Hossein Rouhani, and Jason Carey.
Hope to see you there!