Zaznacz stronę
MIT: Jak uczelnie powinny podejść do AI w nauce i edukacji?

MIT: Jak uczelnie powinny podejść do AI w nauce i edukacji?

Dyrektor MIT Statistics and Data Science Center, Sasha Rakhlin, opublikował esej analizujący wpływ AI na akademię – szczególnie matematykę, statystykę i inżynierię. Wskazuje kluczowe pytania, przed którymi stoją wydziały i uczelnie w kontekście kształcenia...
GradSAT: gradient normalization przyspiesza rozwiązywanie SMT

GradSAT: gradient normalization przyspiesza rozwiązywanie SMT

GradSAT to nowe podejście łączące optymalizację gradientową z Multi-Task Learning, które rozwiązuje problem dominacji gradientu w solverach SMT dla arytmetyki zmiennoprzecinkowej. Framework umożliwia skuteczniejszą weryfikację oprogramowania i analizę...
MIT używa AI do ograniczenia wpływu centrów danych na środowisko

MIT używa AI do ograniczenia wpływu centrów danych na środowisko

Profesor Christina Delimitrou z MIT stosuje uczenie maszynowe, by zwiększyć efektywność centrów danych, które coraz bardziej obciążają sieci energetyczne i napędzają zużycie paliw kopalnych. Jej zespół przeprojektowuje systemy chmurowe i zarządzanie zasobami...