If you're interested in following progress on AIMO (the AI mathematical olympiad), there is a leaderboard you can look at. The current leader, Natalia Ogneva, was the first to reach 20/50, a few hours ago, on the problems for the first progress prize. kaggle.com/competitions/a…

what about a 1-page paper where the only text is in the abstract?

We're hiring! Our competitions team is growing and looking for PhD Research Scientists who have expertise/experience with LLMs. Check out the full role details 👉 kaggle.com/discussions/ge…

Our team is discussing a bunch of new features for Kaggle's CLI (and possibly kagglehub our Python client library, too) courtesy of detailed feedback from Kaggle GM smly Check out the great suggestions in thread & feel free to weigh in with your thoughts!

It’s that time of year again – Kaggle’s 2024 Santa Challenge is now LIVE! 🎅 Just like those mischievous elves who mixed up the ornaments on Santa's Christmas tree, someone has scrambled the words in classic Christmas tales! Help us descramble holiday-related words to minimize

Congratulations to Md Boktiar Mahbub Murad for winning the Artificial Intelligence Mathematical Olympiad’s second Early Sharing Prize, worth $20k. His public notebook was the first to solve 20 out of 50 of the competition's challenging math problems. #1

Kaggle user mbmmurad wins 🎖️ the AIMO Early Sharing Prize with their score of 20/50 on the public test set! Following the release of Qwen QwQ-32B-Preview, we've seen a surge in scores on the leaderboard, from 10 to now 23/50. The AIMO problems are "AI hard" problems at the

i am about to teach a new applied linear algebra course at Penn Engineering, meant for datasci/ML/AI. to support the class, i've written a book... [see below for links to text]

Trying to persuade Australia to put tariffs on all imports whose price appears as a subsequence of the first 20 digits of Chaitin’s constant (for a certain definition of a Turing machine), with the percentage determined by the matching digits 20 places further along.

My colleague Christof Henkel Dieter has been cited on CNN for his win int he American Sigh Language compeition on Kaggle last year. “they have a thing called kaggle grandmasters at NVIDIA and a gentleman named Christof Henkel won this competition. He was able to teach

I had the occasion to recreate Anthony Goldbloom's breakdown of what users do on Kaggle 3y+ later my perspective is now total awe at what Kaggle's comparatively small, but massively mighty Competitions community has accomplished in terms of AI/ML industry influence. Making progress

📣 Competition Launch Alert: ARC Prize 2025 🎯 Create an AI capable of novel reasoning 💰 $725,000 ⏰ Entry Deadline: Oct 27, 2025 kaggle.com/competitions/a…

🎉 The Drawing with LLMs Kaggle competition has wrapped up! The participants were challenged to turn words into visuals & generate SVGs from text prompts using Kaggle Packages. 1,742 participants across 1,313 teams submitted over 39,000 entries.

Excited to share that I am starting a new company dedicated to the creation of verified superintelligence via autoformalization. Building on the amazing RL infrastructure that we have developed at Morph, Math, Inc. has already achieved a breakthrough result by

110 problems created by an international team ❌ Not scraped from the internet ❌ Not in any training dataset ❌ Not seen by any model before This is how you test TRUE reasoning ability. Can your model actually SOLVE problems? Or just pattern spot? AIMO3 will tell you 🔍

Our OpenAI x AIMO that we made in March 2025 revealed on an unprecedented scale the difference between the math reasoning performance of open-source vs closed-source LLMs. Join us for AIMO3 to shrink this gap to zero!

AIMO3 has launched! Check out our mini-benchmark of reference problems below & help us shrink the gap to commercial LLMs to zero!

We just launched the latest installment of AIMO. Proud to be a part of this great competition series. Try it out and help advance the SOTA for open math models.

Shocking results: From 0/50 to 23/50 IMO-level problems in a day! Taking into account that these are very hard problems and your model has on average just 6 minutes of H100-time per problem, this is quite an achievement.

1/ Today the biggest score jump in AIMO history happened: we sit at 38/50. Usually score increases are on the order of few points, and it is unusual for the distance to the other competitors to be this big, especially as most of easy problems have now been solved.