Specjalista ds. czystej matematyki - projekt niezależnego trenera AI

Czy jesteś ekspertem w dziedzinie matematyki teoretycznej i chcesz kształtować przyszłość sztucznej inteligencji? Wielkoskalowe modele językowe szybko się rozwijają, a ich zdolność do radzenia sobie z rygorystycznym rozumowaniem opartym na dowodach zależy od wysokiej jakości matematycznych danych szkoleniowych. Dzięki Twojej zaawansowanej wiedzy sztuczna inteligencja jutra będzie mogła lepiej zrozumieć abstrakcję, logikę, teorię miary, homotopię i głębokie struktury współczesnej matematyki.

Dane szkoleniowe zaczynają się od Ciebie - Twoja wiedza pomoże w napędzaniu nowej generacji sztucznej inteligencji. Poszukujemy specjalistów z głębokimi podstawami w czystej matematyce, którzy mogą zajmować się zaawansowanymi tematami z zakresu teorii prawdopodobieństwa, teorii miary, analizy rzeczywistej i funkcjonalnej, optymalizacji, algebry abstrakcyjnej i teorii kategorii. W połączeniu z tymi głębokimi podstawami potrzebujemy, aby każdy ekspert miał znormalizowaną biegłość w Lean 4, asystencie sprawdzającym i języku programowania.

Typowego dnia będziesz konstruować i oceniać złożone dowody, uzasadniać matematyczne rozumowanie pod kątem poprawności i rygorystyczności, jednocześnie identyfikując subtelne błędy koncepcyjne lub logiczne, a także tłumaczyć ten materiał, aby pomyślnie zbudować składnię .lean. Będziesz także współpracować z naszym zespołem w celu udoskonalenia podpowiedzi, ram oceny i punktów odniesienia w zakresie rozumowania matematycznego, poprawiając ogólną jakość naszych działań. Idealni są kandydaci biegle posługujący się Lean 4 z trwającym lub świeżo uzyskanym doktoratem lub obecnym doświadczeniem postdoktorskim w czystej matematyce.

A strong command of core areas is required, and applicants should be comfortable with topics such as Markov’s and Chebyshev’s inequalities, Hoeffding bounds, convergence theorems, the Carathéodory extension theorem, the Riesz representation theorem, Banach - Alaoglu, Lax - Milgram, stochastic approximation, Van Kampen’s theorem, the Yoneda embedding, and representability in cohomology. Niezbędna jest jasna komunikacja metakognitywna (wyraźne formułowanie rozumowania i strategii dowodowych). Czy jesteś gotowy, aby zamienić płynność Lean 4 i czystą wiedzę matematyczną w kręgosłup rozumowania przyszłej sztucznej inteligencji?

Aplikuj już dziś i pomóż w nauczaniu modelu, który będzie wspierał badaczy, naukowców i inżynierów na całym świecie. Oferujemy zakres wynagrodzeń od 35 do 65 dolarów za godzinę, a dokładna stawka jest ustalana po ocenie Twojego doświadczenia, wiedzy specjalistycznej i lokalizacji geograficznej. Ostateczna kwota oferty może różnić się od zakresu wynagrodzeń podanego powyżej.

Jako wykonawca zapewnisz bezpieczny komputer i szybki internet; nie obowiązują świadczenia sponsorowane przez firmę, takie jak ubezpieczenie zdrowotne i PTO. Stanowisko: Specjalista czystej matematyki i Lean 4 - Projekt niezależnego trenera AI Rodzaj zatrudnienia: KontraktTyp miejsca pracy: Zdalne Pierwotnie opublikowane w Himalajach