Wolfram is offering a total of $20,000 in prize money to determine if the S combinator is universal. Statement of problem to be solved, full guidelines, committee of judges and submission guidelines.
Rules for the Millennium Prize Problems
The revised rules for the Millennium Prize Problems were adopted by the Board of Directors of the Clay Mathematics Institute on 26 September, 2018. Please read this document carefully before contacting CMI about a proposed solution. In particular, please note that:
Noam Brown on Twitter / X
And yes we did try other major problems without success. Sadly no Millennium Prize problems (yet).But also, we didn’t spend a lot on each problem. It’s possible to push test-time compute much further.— Noam Brown (@polynoamial) August 1, 2026
98 out of 100. That's how many advanced maths problems current AI models managed to solve in an international benchmark in Leipzig. One of the two remaining problems? A simplified version of a… | Czech Technical University in Prague | 11 comments
98 out of 100. That's how many advanced maths problems current AI models managed to solve in an international benchmark in Leipzig. One of the two remaining problems? A simplified version of a combinatorics problem solved by researchers from the Faculty of Information Technology CTU in Prague. Alexander Clifton, Daniela Černá and Jan Volec, together with Bartołomiej Kielak from Universität Leipzig , found the solution to a simplified version of the long-standing open problem of breaking triples with permutations. The problem was later included among the 100 tasks used to test how today's AI models perform in advanced mathematics. While AI came remarkably close, this was one of the problems it couldn't solve on its own. A nice reminder that mathematical creativity and abstract reasoning still leave some room for humans. 🧠 🔗 Read the full story in the comments. | 11 comments on LinkedIn
Hutter Prize
The Hutter Prize is a cash prize funded by Marcus Hutter which rewards data compression improvements on a specific 1 GB English text file, with the goal of encouraging research in artificial intelligence (AI).
"statistically reasonable maximum" - microcosm
How many entries can a Merkle Search Tree node have? An attempt to answer with half a million atproto repositories & two coin flips.
We're excited to be partnering with Anthropic and OpenAI to host the world's first hackathon devoted to research-level mathematics. 40 hours and $2M in compute to solve, understand, and present an… | Tony Yue YU | 20 comments
We're excited to be partnering with Anthropic and OpenAI to host the world's first hackathon devoted to research-level mathematics. 40 hours and $2M in compute to solve, understand, and present an open math problem. Applications are live at https://lnkd.in/d79qFQ4s We look forward to seeing you all on October 30 at Caltech! Sathvik Redrouthu Bufan Zhao Andrea Li Caiman Moreno-Earle Avni Garg | 20 comments on LinkedIn
Judge approves a $1.5B Anthropic settlement over pirated books used to train the Claude chatbot
A federal judge has approved a $1.5 billion copyright settlement involving AI company Anthropic. The company will pay thousands of authors about $3,000 per book for using pirated copies to train its Claude chatbot.
Why the Best Companies and Developers Give Away Almost Everything They Do
Read more on Y Combinator's blog.
Checkers Is Solved
The game of checkers has roughly 500 billion billion possible positions (5 × 1020). The task of solving the game, determining the final result in a game with no mistakes made by either player, is daunting. Since 1989, almost continuously, dozens of ...
5 days left to apply! 4 new sponsors, $100k + in cash & credits. 4 tracks: → Computer-use - originator.inc → Autoresearch - cthree.cloud x AIDDA Institute → Drug & protein design - Serova… | Jonty Corrin
5 days left to apply! 4 new sponsors, $100k + in cash & credits. 4 tracks: → Computer-use - originator.inc → Autoresearch - cthree.cloud x AIDDA Institute → Drug & protein design - Serova → Materials design - Polaron + 2 special-prize challenges with Cognition & Modal
VibeMathed - Math Problems Solved by AI
A community-curated record of math problems no human had solved before, proved or disproved with AI in the loop - with checkable sources and verification labels.
Online Sweepstakes Casino USA - Quick Prize Cashouts
Compare the top sweepstakes casinos available to US players. Free to enter, no purchase necessary, with Sweepstakes Coins redeemable for prizes. Find your best option here.
A group from work decided to challenge each other to the #256fes challenge. I modeled a Frieren for it
