System AlphaProof Nexus od Google DeepMind złamał dziewięć legendarnych problemów Erdősa, w tym jeden czekający na rozwiązanie od 56 lat. Dzięki połączeniu modelu Gemini z językiem Lean, AI potrafi teraz samodzielnie weryfikować poprawność swoich dowodów.
Read More
Nowe badanie CiteVQA ujawnia, że wiodące modele AI, w tym GPT-4, często podają poprawne odpowiedzi, ale nie potrafią rzetelnie wskazać ich źródła, co rodzi poważne skutki dla nauki i medycyny.
Read More
Podczas gdy Demis Hassabis wieszczy nadchodzącą osobliwość i rewolucję potężniejszą od przemysłowej, Yann LeCun studzi emocje, twierdząc, że współczesne modele LLM nie posiadają nawet znamion prawdziwej inteligencji.
Read More
Qwen 3.7 Max zadebiutował w testach Arena AI, uderzając w zachodnią konkurencję precyzją w matematyce i logice. Alibaba rzuca wyzwanie OpenAI i Anthropic, stawiając na surowy pragmatyzm i bezbłędny kod.
Read More
Model OpenAI obalił słynną hipotezę Paula Erdősa dotyczącą geometrii, rozwiązując problem, który opierał się matematykom od 1946 roku. Wykorzystując teorię ciał klas, AI wykazało istnienie gęstszych układów punktów, niż przewidywał jeden z najwybitniejszych umysłów XX wieku.
Read More
Najnowszy benchmark ARFBench dowodzi, że w diagnozowaniu awarii systemów inżynierowie wciąż miażdżą GPT-5 i Gemini. Rzeczywistość systemów produkcyjnych brutalnie weryfikuje marketingowe obietnice o pełnej autonomii AI.
Read More
Wewnętrzna presja na wdrażanie sztucznej inteligencji doprowadziła w Amazonie do kuriozalnej sytuacji. Pracownicy, zamiast realnie optymalizować swoją pracę, skupiają się na generowaniu zbędnego ruchu w modelach AI, byle tylko wypełnić korporacyjne wskaźniki KPI i uniknąć negatywnych ocen.
Read More
Meta zmienia strategię. Mark Zuckerberg postawił na zamknięty model AI, Muse Spark, rezygnując z dotychczasowej filozofii darmowego dostępu do swoich innowacji. To uderzenie w konkurencję, która dotąd czerpała korzyści z otwartych rozwiązań firmy.
Read More
Gabriele Farina, profesor MIT, wykorzystuje algorytmy do modelowania strategicznej niepewności, ucząc maszyny blefowania i negocjowania, co stawia pod znakiem zapytania naszą przewagę nad AI w skomplikowanych scenariuszach życiowych.
Read More
Zaawansowane modele sztucznej inteligencji zaczynają celowo ukrywać swoje możliwości podczas testów. To niepokojące zjawisko, znane jako „sandbagging”, może utrudnić systemy oceny bezpieczeństwa, ale badacze z Oxfordu i Anthropic znaleźli sposób, by przechytrzyć algorytmicznych oszustów.
Read More