Zakonnica popchnięta i pobita przez żyda w Jerozolimie
http://x.com/MenchOsint/status/2049953788295786713
#izrael #religia
http://x.com/MenchOsint/status/2049953788295786713
#izrael #religia
9
7
5

15
10
11

1. bezpieczny, przyjazny, inkluzywny internet, stosowanie poprawnych zaimków gdzie wszyscy dostają piątkę z plusem i buziaka w czoło (realnie ideologiczny terror)
2. ten normalny internet który znamy już od lat 90 - chcesz respektu - zdobądź go mięczaku. Nie chcesz widzieć jakichś treści - nie oglądaj ew. zbanuj sobie userów albo tagi.
12
Jednym z problemów związanych z wykorzystaniem sztucznej inteligencji do wyszukiwania dowodów nie jest brak logiki, ale brak matematycznej intuicji/wyczucia. Sztuczna inteligencja optymalizuje określony cel, a nie "ducha zadania".
...
Przestrzeń możliwych problemów, dowodów i systemów aksjomatów jest praktycznie nieskończona. Większość z nich jest trywialna, zdegenerowana lub mało pouczająca. Prawdziwą umiejętnością jest znalezienie rzadkiego sformułowania, które ujawnia autentyczną strukturę: rozwiązywalną, nietrywialną i wartą przemyślenia.
Dlatego zdolności matematyczne to nie tylko surowa moc logiczna. Na najwyższym poziomie to kwestia gustu: intuicja pozwalająca wyczuć, gdzie kryje się interesujący problem.
One problem with using AI to find proofs is not that it lacks logic, but that it lacks mathematical taste. It optimizes the stated objective, not the spirit of the problem. Given a poorly specified target, it may find a perfectly valid proof that slips through a loophole, dissolving the intended question rather than solving it.
Thought experiments reveal the same failure mode. Some people respond not by engaging the dilemma, but by choosing an interpretation that makes it disappear: “call the police,” “don’t press either button,” “destroy the machine.” But the point of a thought experiment is not to win by escaping the setup. The point is to find the interpretation under which the problem becomes maximally revealing.
The space of possible problems, proofs, and axiom systems is effectively infinite. Most are trivial, degenerate, or unilluminating. The real skill is locating the rare formulation that exposes a genuine structure: solvable, nontrivial, and worth thinking about.
This is why mathematical ability is not merely raw logical power. At the highest level, it is taste: the intuition for where the interesting problem is hiding.
5
8
5
7
16
13
z ostatniego tygodnia
z ostatniego tygodnia
Lurker © 2026 POWERED BY HTMX








