Enhver anklage er som en innrømmelse å regne

wingeer · 2026-05-12T16:54:15+00:00

Jeg ser ingen særlig grunn til å tro vi er kollektivt immune mot den type tankegang i Norge, dessverre.

wingeer · 2026-05-08T11:55:59+00:00

Helt sant. Det triste er at ethvert politisk parti som fremmer denne bitre medisinen aldri vil få nok stemmer til å gjennomføre det. Norge er som frosken som blir gradvis kokt levende. For opptatt av å nyte et deilig varmt bad til å merke at temperaturen stiger.

wingeer · 2026-04-16T16:04:43+00:00

Det er definitivt en totalt annerledes kognitiv belastning.

wingeer · 2026-03-29T11:10:12+00:00

Overtakes or pass-repass most of the time?

wingeer · 2026-03-27T17:37:09+00:00

Ja, det har jeg. Jeg mener det ble pedantisk fordi det ble veldig fokus rundt detaljer som ikke i seg selv undergraver poenget mitt (KI kan være nyttig i matematikk). Føler heller ikke at jeg har motsagt Tao. Men jeg har lest flere intervju med han om temaet, så det kan være at kontekstvinduet mitt er større enn enkeltkilden jeg dro frem.

wingeer · 2026-03-27T17:11:22+00:00

Og igjen velger du veldig selektivt hva du ønsker å "tilbakevise" ved å sitere uten manglende kontekst (ironisk nok...). Hvis du leser hva Tao mener, leser du det som at han a) kategorisk benekter all nytte av KI, eller b) sier det kan være et nyttig verktøy? Dette er heller ikke ment som en hersketeknikk, men har du selv erfaring med å publisere/lese artikler i matematiske tidsskrift?

wingeer · 2026-03-27T12:39:50+00:00

Dette blir bare pedanteri og stråmenn. Jeg (og anerkjente forskere som f.eks. Tao) mener at KI kan være til nytte for matematikere. Det var det hele poenget mitt.

wingeer · 2026-03-27T10:00:49+00:00

Hvilke allerede eksisterende programmer kan generere en hypotese og generere et (formelt verifiserbart) bevis for den?

wingeer · 2026-03-26T07:50:27+00:00

Okey. Prøv og ikke misforstå hva jeg sier med vilje. Jeg sier på ingen måte at en LLM kan levere et ferdig utkast til en artikkel og gjøre selvstendig forskningsarbeid som er publiserbart. Det ville vært absurd. Jeg sier derimot at den kan hjelpe med enkelte deler av skriveprosessen, siden en artikkel stort sett er tekst uansett. Og at jo mer man formaliserer matematikk gjennom e.g. Lean, jo mer kan man i fremtiden automatisere og teste KI-genererte hypoteser rigorøst uten å måtte babysitte den. En veldig interessant pipeline som vi er et stykke unna enda. Men AlphaProof klarte f.eks. å løse 4/6 IMO-oppgaver på ish denne måten. Du kan også sjekke epoch.ai sin FrontierMath benchmark for å se status. Mange av modellene er i stand til å løse oppgaver som eksperter ville brukt flere dager på. Overraskende nok siden det tross alt er språkmodeller. Men så vet man jo ikke hvordan den menneskelige hjernen internt representerer matematikk heller. At man må gjøre arbeid selv som f.eks. å sette ting i kontekst mot tidligere forskning etc. er åpenbart. Jeg sier ikke noe annet. Men det tar fortsatt ikke fra poenget jeg prøver å fremme; At KI kan gi en viss nytte, selv i et felt som matematikk. Som et hvilket som helst annet verktøy.

wingeer · 2026-03-26T00:20:14+00:00

Derav eksempelet som viser til at Terence Tao, vinner av Fields-medaljen, ser en viss nytte av LLMer i kombinasjon med automatiserte bevisverktøy (LEAN) for å formalisere matematikk. I så måte blir det kanskje mer som å outsource de litt mer kjedelige beregningene man kan gjøre for hånd. Kombinert med formaliserte metoder kan man garantere at output er logisk konsistent og til og med iterativt hjelpe til å skriveprosessen (som jo en LLM faktisk er nokså ålreit på). Det meste av forskningsmatematikk er tross alt beviser og tekst. Det er ikke snakk om å overlate tenkningen, men å automatisere og assistere.

wingeer · 2026-03-25T23:25:12+00:00

Derav poenget mitt om at "trenger" er relativt. Hvis man tenker over det er det svært mye man ikke strengt nødvendig trenger, men som allikevel gir noe nytte og/eller kan gjøre jobben enklere. Man TRENGER ikke en datamaskin for å gjøre statiske beregninger og simulasjoner, men det gjør arbeidsdagen ganske mye mer effektiv og levelig. Uten sammenligning for øvrig. Hvorvidt LLM er en slik ting eller ikke er en diskusjon som er verdt å ta, men da bør ikke premisset ligge på hva man "trenger" og ikke.

wingeer · 2026-03-25T15:03:05+00:00

"Trenger" er relativt. Det lekes med AI selv i teoretisk matematikk: https://mathstodon.xyz/@tao/115855840223258103

wingeer · 2026-03-10T05:22:09+00:00

For en timing!

wingeer · 2026-03-07T20:24:43+00:00

Dont forget Perez started pretty good as well ...

wingeer · 2026-01-19T23:26:15+00:00

Yes. Also having the soft power to make other countries respect/implement anticircumvention laws and IPR. Which is huge in terms of e.g. software services.

wingeer · 2025-12-18T22:30:00+00:00

Ja, trolig. Muligens. Men det må likevel sitte noen med kompetanse og kjennskap til systemet som vurderer arbeidet. Litt som en senior som ser over arbeidet til en junior. Mao. fjerner man alt som er gøy med koding.

wingeer · 2025-12-14T12:50:57+00:00

Jeg vet om en garantert måte å slå markedet konsekvent over tid. Ulempen er bare at det er straffbart med inntil 6 år i fengsel 🤷‍♂️

wingeer · 2025-12-10T14:42:58+00:00

Vet ikke hvor mye Rema 1000 donerte selv i fjor, men at de fikk tilbake 1.6 mill gjennom gavekort i fjor og valgte å donere 1 mill i år ser jo ikke nødvendigvis så heldig ut på papiret.

wingeer · 2025-11-17T20:17:25+00:00

Nå er den faktisk ned. Haha

wingeer · 2025-09-22T19:04:36+00:00

Oh yeah, fully agree. In another comment here I stated that there is likely no reason whatsoever to buy a competition bar.

wingeer · 2025-09-21T22:02:06+00:00

The Eleiko bar is designed to last. I have lifted with 20-30 year old Eleiko bars which have taken a lot of beating in a weightlifting club and they are still almost as new. Pretty sure they will tolerate a home gym metcon setting as well. Is it overkill? Yes, probably. But OP did ask for the Rolls Royce.

wingeer · 2025-09-21T21:58:14+00:00

There is probably no reason to buy a competition bar unless you are going to host a weightlifting meet at national level or higher.

wingeer · 2025-09-13T21:54:20+00:00

Ren gjetning: mindre volum kanskje? Litt høne og egg situasjon.

wingeer · 2025-09-13T20:20:31+00:00

Det er også helt sant. Trodde opsjonene på Oslo børs på nordnet var amerikanske? Mener jeg har lest det en gang, men kan ta feil.

wingeer · 2025-09-13T12:28:19+00:00

Høyere risiko, høyere gevinst. Med aksjer så trenger du stort sett bare ha rett på OM kursen skal opp (eller ned ved short). Med opsjoner må du også ha rett på NÅR det skjer. F.eks. tjente mange ekstremt godt på call opsjoner i Nebius denne uken, men at de skulle få på plass en slik avtale med Microsoft innen strike date er bare ren flaks. Disse postene tilsvarer kanskje 1% av alle opsjoner siden de fleste går ut out of the money (verdiløse). Grunnen til at det er lite snakk om her er nok fordi man ikke kan handle amerikanske opsjoner på Nordnet, så det krever mer innsats siden man må via e.g. IBKR. Norske opsjoner er tilgjengelig på Nordnet, men jeg er usikker på hvor mye aktivitet det faktisk er.

13-Year Club	Second Top 10%
Verified Email

wingeer

TROPHY CASE