zabawa: 3/4 miesiące temu prowadziłem o3 dla kilku naukowców na temat zestawu problemów w stylu AIME. Napisanie podsumowania wyników (96% irrc) zajęło im tak dużo czasu, że Alex rozwiązał dowód i IMO w międzyczasie lol
@littmath To powiedziawszy, nie jest jasne, czy dowód zostanie rozwiązany do czasu, gdy kiedykolwiek opublikują ten szkic.
208,98K