Każda z 4257 lematów formalnych dowodów poprawności oprogramowania - wszystkie udowodnione w pełni automatycznie, bez udziału eksperta. 🤖

Zespół badaczy (Kan, Kan, Ertel) wziął ogólnego agenta kodowego LLM (Claude Code) i zamiast narzucać mu sztywną strategię dowodzenia - jak robiły to wcześniejsze systemy - pozwolił mu samodzielnie wybrać metodę, pod kontrolą weryfikatora Coq. Efekt: 100% pokrycia dla 4257 lematów w logice separacyjnej Iris, 318 lematów w reglang (wcześniejsze LLM udowodniły ~1/8), a także
uzior - Każda z 4257 lematów formalnych dowodów poprawności oprogramowania - wszystki...

źródło: card

Pobierz
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

Ja sie chyba załameee proszę powiedzcie jak odblokować fejka na fb dodam ze imię i nazwisko nie jest moje to jest fejk z 2022 roku proszę pomóżcie mi go odblokować.... albo dajcie jakieś patenty żeby odblokować

#fb #weryfikacja #facebook #meta
  • 8
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

Czy Wykop właśnie zaczął wymuszać weryfikację numerem telefonu u wybranych osób?

Mam konto od 16 lat – zero banów, całkowicie normalne użytkowanie. Nagle, przy próbie logowania, system zablokował mi dostęp i zażądał podania numeru telefonu oraz kodu z SMS.

Co ciekawe, napisałem do supportu, a oni udają zdziwienie na informację, że moi znajomi takiej blokady nie dostali. Wygląda to na jakąś wybiórczą akcję "uwiarygodniania" kont.

Jak

Czy miałeś już weryfikację konta numerem telefonu?

  • tak 40.0% (12)
  • nie 60.0% (18)

Oddanych głosów: 30

  • 8
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@MajoZZ: Miałem w 24r. nie wiem czy fakt, że byłem wtedy za granicą miał coś do tego. Podałem jakiś numer z bramki sms kod weryfikacyjny i elo. Jakby tego nie było to w najgorszym przypadku trzeba by numer na słupa rejestrować za 30-40zł ale to tez przydałoby się i do innych rzeczy, więc by się opłacało. Zbieram się aby sobie taki numer zrobić, właśnie do neta, jakiś ogłoszeń na portalach
  • Odpowiedz