olymmath

Nemotron-IMO-Bench 2026 N25

    A point in the coordinate plane is called rational if its coordinates are rational numbers. Given a positive integer nn, can we color all rational points using nn colors such that\a) each point receives one color;\b) any line segment whose endpoints are rational points contains rational points of each of the nn colors?

    Dataset text Nemotron-IMO-Bench. Open licence.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator nemotron-imo-bench/2026/n25 · Tag CMR5FQ5AJG · Edit this page on GitHub · Keys: j next, k previous