7 artykułów z tym tagiem
System AlphaProof Nexus rozwiązał 9 problemów Erdősa nierozwiązanych przez dekady, kosztując tylko kilkaset dolarów na problem dzięki połączeniu AI z weryfikacją.
OpenAI przełamuje granice automatycznego rozumowania, rozwiązując problem matematyczny nierozwiązany od 1946 roku dzięki teorii liczb.
SOOHAK odsłania słabości AI: najlepszy model osiągnął 30% w trudnych zadaniach i nie potrafi odmówić odpowiedzi na problemy bez rozwiązania.
Timothy Gowers użył ChatGPT 5.5 Pro do rozwiązania otwartych problemów matematycznych. AI samodzielnie wygenerował prace naukowe na poziomie doktorskim bez pomocy człowieka.
Nowy model ZAYA1–8B z 700M aktywnych parametrów osiąga 91,9% na AIME'25, konkurując z większymi modelami jak GPT-5-High dzięki architekturze MoE++.
Modele AI przeszły od podstawowej arytmetyki do problemów olimpijskich w dwa lata. Badacze OpenAI tłumaczą, dlaczego matematyka stała się kluczem do AGI.
Model OpenAI podobno znalazł rozwiązanie trudnego problemu matematycznego w 80 minut, odkrywając przy tym nowe połączenia w teorii liczb.
