System Google DeepMind rozstrzygnął zadania otwarte od kilkudziesięciu lat. Wyniki przeszły recenzję naukową, a dowody sprawdzano formalnie w języku Lean. Artykuł AlphaProof Nexus rozwiązał dziewięć problemów Erdősa. Wyniki trafiły do „Science” pochodzi z serwisu AI Sight.
źródło: https://aisight.pl/technologia/generatywna-ai/reasoning/alphaproof-nexus-rozwiazal-problemy-erdosa-science/
dodano: 12-10-2026 12:35:10
Inne znaleziska:
Faith Nexus 2026: więcej ergonomii, ta sama tożsamość brzmieniowa
magazyngitarzysta.pl
Faith Guitars odświeża serię Nexus na rok 2026, wprowadzając zmiany o charakterze funkcjonalnym, które mają realne znaczenie w codziennym użytkowaniu – bez ingerencji w rozpoznawalne brzmienie instrumentów.
magazyngitarzysta.pl
27-04-2026 10:13:12
27-04-2026 10:13:12
„Blade Runner: Tokyo Nexus” ma nowy rozdział. Egmont wydał w Polsce pierwszy tom
blogokomiksach.pl
Za granicą ukazał się trzeci zeszyt nowej miniserii „Blade Runner: Tokyo Nexus – To Lose is to Win”. W Polsce pierwszy tom cyklu wydał Egmont jako „Blade Runner. Tokio Nexus. Odejdź w pokoju”.
blogokomiksach.pl
05-07-2026 09:47:16
05-07-2026 09:47:16
Honkai: Nexus Anima Zapowiedź praktyczna: Czy gra gacha i walka z potworami to idealne połączenie?
gamereactor.pl
Łapanie małych potworów i walka z nimi oczywiście zyskało ogromną popularność dzięki serii z żółtą myszką jako maskotką, ale oczywiście są też inni, którzy też spróbowali. Niektóre odniosły większy sukces, jak Palworld, podczas gdy inne nie odniosły...
gamereactor.pl
28-07-2026 09:05:14
28-07-2026 09:05:14
Krytyczna luka w przełącznikach Cisco Nexus 9000 . RCE bez uwierzytelnienia i dostęp do roota
sekurak.pl
Firma Cisco opublikowała biuletyn bezpieczeństwa opisujący krytyczną lukę w przełącznikach Nexus serii 9000 opartych na układach Silicon One. Podatność została oznaczona jako CVE-2026-20212 i oceniona na 9.8 (Critical) w skali CVSS v3.1. Umożliwia ni...
sekurak.pl
09-09-2026 15:04:21
09-09-2026 15:04:21
Arcybiskup: Szczyt na Alasce nie rozwiązał fundamentalnych kwestii moralnych i geopolitycznych
dorzeczy.pl
Szczyt na Alasce między prezydentem Donaldem Trumpem a prezydentem Rosji Władimirem Putinem, który odbył się 15 sierpnia, ostatecznie nie rozwiązał „fundamentalnych kwestii moralnych i geopolitycznych” dotyczących wieloletniej wojny Rosji z Ukrainą –...
dorzeczy.pl
17-08-2025 21:21:02
17-08-2025 21:21:02
Europa wysycha. „Jeden miesiąc nie rozwiązał problemu”
smoglab.pl
Niemal cała Europa doświadcza suszy. Problem dotyczy nawet tych miejsc, które zwykle z suszą nam się nie kojarzą, jak Wyspy Brytyjskie. Z kolei na południu kontynentu połączenie 40-stopniowych upałów, braku opadu i ludzkiej nieostrożności doprowadził...
smoglab.pl
25-08-2025 08:53:03
25-08-2025 08:53:03
Teleskop Webba rozwiązał kosmiczną zagadkę. Planeta bez atmosfery?
tech.wp.pl
Najnowsze badania z użyciem Kosmicznego Teleskopu Jamesa Webba (JWST) podają więcej informacji o egzoplanecie GJ 1132 b, która jest nieco większa do Ziemi. Nowe dane mają istotne znaczenie dla badań nad egzoplanetami.
tech.wp.pl
11-09-2025 15:33:11
11-09-2025 15:33:11
OpenAi pochwaliło się, że ChatGPT rozwiązał problem matematyczny, ale przyszedł prawdziwy matematyk i zniszczył im zabawę
donald.pl
Wysłannik Donalda Trumpa rozwiązał litewski problem? "Białoruś się zgodziła"
wiadomosci.onet.pl
Wysłannik prezydenta USA Donalda Trumpa, John Coale, poinformował w sobotę, że Białoruś zgodziła się wstrzymać przeloty balonów nad Litwą — podał Reuters. Urzędnik dodał, że oczekuje uwolnienia w najbliższych miesiącach kolejnych więźniów politycznyc...
wiadomosci.onet.pl
13-12-2025 20:57:18
13-12-2025 20:57:18
Opierzony stwór wreszcie rozwiązał tajemnicę. Wystarczy się przyjrzeć
interia.pl
Granica między ptakami a dinozaurami (nieptasimi) wciąż pozostaje nieostra i dyskusyjna. Jednym z wyróżników jest kwestia lotu - dinozaury były zwierzętami lądowymi i nie latały jak pterozaury czy ptaki. Dlaczego więc niektóre z nich jak Anchiornis b...
interia.pl
19-12-2025 07:10:09
19-12-2025 07:10:09