Hello everyone!

I am glad to invite you to participate in MathJack's AI graded, Proof Contest #20 (Rated), taking place today, Friday, October 9, 2026, at 19:35 PKT (UTC+5).

This round features 4 proof problems prepared by Muhammad-Ahmad and M.ZeeshanRashid, with all problems focused entirely on Combinatorics. The contest duration is 135 minutes (2 hours and 15 minutes), and the difficulty is set to Intermediate. Submissions are evaluated using MathJack's AI proof-grading engine, followed by a hacking phase before ratings are finalized. You are allowed at most 15 submissions per problem and up to 2 submissions per minute.

Having more participants always makes the competition and the leaderboard much more fun, so whether you want to test your combinatorial proof-writing or climb the ratings, come join us! You can register and participate directly at https://mathjack.org/contests.