Zaznacz stronę
Framework LLM do odkrywania wielkich hipotez matematycznych

Framework LLM do odkrywania wielkich hipotez matematycznych

Naukowcy opracowali trójetapowy pipeline oparty na LLM, który automatycznie generuje i weryfikuje hipotezy matematyczne o wysokim potencjale naukowym. System wykorzystuje formalne sprawdzanie w Lean 4 i Mathlib, dążąc do odkryć na miarę hipotezy Riemanna.
Czy płacenie artystom wystarczy, by zaakceptowali AI?

Czy płacenie artystom wystarczy, by zaakceptowali AI?

Startupy AI jak Pippa próbują budować modele generatywne na licencjonowanych pracach artystów, reklamując się jako etyczna alternatywa. Ilustratorzy od lat protestują przeciwko trenowaniu modeli na ich dziełach bez zgody i wynagrodzenia.
UE: przepisy AI Act o oznaczaniu treści AI weszły w życie

UE: przepisy AI Act o oznaczaniu treści AI weszły w życie

Od 2 sierpnia 2026 r. w Unii Europejskiej obowiązują pierwsze przepisy AI Act dotyczące przejrzystości – użytkownicy muszą być informowani o kontakcie z AI, a treści generowane przez sztuczną inteligencję muszą być wyraźnie oznaczane.