fun: 3/4 miesiące temu uruchomiłem o3 dla kilku akademików na zestawie problemów w stylu AIME. Zajęło im tak długo napisanie podsumowania wyników (96% jeśli dobrze pamiętam), że Alex w międzyczasie rozwiązał dowód i IMO lol

@littmath To powiedziawszy, nie jest jasne, czy dowód zostanie rozwiązany do czasu, gdy kiedykolwiek opublikują ten szkic.