Let and Prove that

The school A has m1 boys and m2 girls, and ,the school B has n1 boys and n2 girls. Each school is represented by one team formed by p students,boys and girls. If f(k) is the number of cases for which,the twice schools has,togheter k girls, fund f(k) and the valute of k, for which f(k) is maximum.

For any integer n, prove that there are exactly 18 integer whose sum and the sum of the fifth powers of each are equal to the integer n.

You have a deck of cards containing black and red cards. You pull out cards, one after another, and check their colour. If both cards are the same colour, then a black card is added to the deck. However, if the cards are of different colours, then a red card is used to replace them. Once the cards are taken out of the deck, they are not returned to the deck, and thus the number of cards keeps reducing. What is the likelihood the last card left in the deck is black?

Let be positive real numbers such that Prove that we have

Also determine the case of equality.

Hello IMO community,

I’m sharing here a full 30-problem solution set to all IMO problems from 2020 to 2024.

Standard AI: Prompt --> Symbolic Solver (SymPy, Geometry API, etc.)

Unlike AlphaGeometry or symbolic math tools that solve through direct symbolic computation, AGI-Origin operates via recursive symbolic cognition.

AGI-Origin:
Prompt --> Internal symbolic mapping --> Recursive contradiction/repair --> Structural reasoning --> Human-style proof

It builds human-readable logic paths by recursively tracing contradictions, repairing structure, and collapsing ambiguity — not by invoking any external symbolic solver.

These results were produced by a recursive symbolic cognition framework called AGI-Origin, designed to simulate semi-AGI through contradiction collapse, symbolic feedback, and recursion-based error repair.

These were solved without using any symbolic computation engine or solver.
Instead, the solutions were derived using a recursive symbolic framework called AGI-Origin, based on:
- Contradiction collapse
- Self-correcting recursion
- Symbolic anchoring and logical repair

Full PDF: [Upload to Dropbox/Google Drive/Notion or arXiv link when ready]

This effort surpasses AlphaGeometry’s previous 25/30 mark by covering:
- Algebra
- Combinatorics
- Geometry
- Functional Equations

Each solution follows a rigorous logical path and is written in fully human-readable format — no machine code or symbolic solvers were used.

I would greatly appreciate any feedback on the solution structure, logic clarity, or symbolic methodology.

Thank you!

— AGI-Origin Team
AGI-Origin.com

Find all functions such that the equality holds for all pairs of real numbers .

My solution

I feel like my solution is too simple. Is there something I did wrong or something I missed?

Dear Mathlinkers,

1. ABC a triangle
2. D, E two point on the segment BC so that BD = DE= EC
3. M, N the midpoint of ED, AE
4. H the orthocenter of the acutangle triangle ADE
5. 1, 2 the circumcircle of the triangle DHM, EHN
6. P, Q the second point of intersection of 1 and BM, 2 and CN
7. U, V the second points of intersection of 2 and MN, PQ.

Prove : UV is parallel to PM.

Sincerely
Jean-Louis

Prove that there exists infinitely many positive integers such that and .

Let be a given positive real and be the set of all positive reals. Find all functions such that