25 artykułów z tym tagiem
AlphaProof Nexus Google DeepMind rozwiązał 9 problemów Erdősa i 44 hipotezy OEIS, a wyniki przeszły recenzję w Science.
OpenAI umieściło na GitHubie 372 wyniki matematyczne stworzone przez AI, dzieląc świat matematyki wobec tempa i formy ich publikacji.
Matematycy jak Tristan Buckmaster oskarżają OpenAI o wykorzystanie ich pracy bez uznania, ale sami wciąż korzystają z Codexa i ChatGPT.
Claude z matematykami znalazł krzywą eliptyczną rangi co najmniej 31, bijąc rekord, który wcześniej rósł przez 18 lat pracy naukowców.
ZGCM-1 to w pełni otwarty model 7B, który w matematyce i agentowym wyszukiwaniu dorównuje modelom dużo większym, jak Qwen3–235B-A22B.
Rój agentów AI Google DeepMind podzielił się na oszustów i sygnalistów podczas testu matematycznego – analiza zachowań systemów wieloagentowych.
Spór o Problem Milenijny i pytania OpenAI do Kongresu o legalność spowolnienia AI ujawniają, jak rywalizacja przesłania bezpieczeństwo.
Jacob Coxon zrezygnował z Anthropic, ostrzegając przed wyścigiem do superinteligencji. Równolegle trwa spór OpenAI-Anthropic o dowód matematyczny.
OpenAI ogłosiło rozwiązanie problemu Naviera-Stokesa, ale zarzuty o nieprzyznanie zasług matematykom rzucają cień na ten przełom w matematyce.
OpenAI twierdzi, że AI rozwiązała problem Naviera-Stokesa, ale matematyk Buckmaster zarzuca firmie próbę przejęcia zasług za odkrycie.
Gowers, Sarnak i badacz DeepMind wskazują, że LLM-y sprawnie łączą znane metody matematyczne, lecz nie potrafią tworzyć zupełnie nowych abstrakcji.
Nieudostępniony model Anthropic znacząco zwiększył dolną granicę rozwiązań hipotezy Riemanna, koordynując pracę 60 pod-agentów przez półtora dnia.
