utworzone przez Redakcja | paź 30, 2026
Naukowcy stworzyli OpenFrontiers – zbiór ponad 12 000 otwartych problemów naukowych oraz benchmark 200 zadań matematycznych do oceny możliwości dużych modeli językowych w rozwiązywaniu problemów badawczych.
utworzone przez Redakcja | paź 27, 2026
Narzędzie PaperFormalizer wykorzystuje agentyczny pipeline oparty na Lean, aby pomagać autorom wykrywać luki w dowodach matematycznych i tworzyć formalnie zweryfikowane wersje ich prac naukowych. System automatycznie transkrybuje LaTeX do grafu zależności twierdzeń i...
utworzone przez Redakcja | paź 27, 2026
OpenAI zaprezentowało trzy 'przełomowe' odkrycia w matematyce, informatyce i fizyce. Nowością jest zaangażowanie zewnętrznych ekspertów jako 'pasterzy' weryfikujących wyniki AI przed publikacją.
utworzone przez Redakcja | paź 26, 2026
Dyskusja na Reddit porusza fundamentalne pytanie o naturę dużych modeli językowych – czy LLM to w istocie jedynie ogromna, niezwykle złożona funkcja matematyczna typu wejście/wyjście.
utworzone przez Redakcja | paź 25, 2026
Programista Chris Dzoba wykorzystał dwa modele AI do wygenerowania diagramów Venna obejmujących 17 i 19 zbiorów z zachowaniem symetrii obrotowej, co wcześniej było nieosiągalne. To nowy rekord w dziedzinie matematycznej wizualizacji zbiorów.
