fly51fly (@fly51fly)

논문 'Teaching Models to Teach Themselves'는 모델이 스스로를 가르치도록 훈련해 학습 가능성(edge of learnability) 경계에서 추론 능력을 강화하는 방법을 제안합니다. MIT와 Meta FAIR 공동연구로, 자기교수(self-teaching) 전략과 그 효과를 실험적으로 분석합니다.

https://x.com/fly51fly/status/2016283956141031510

#selfteaching #reasoning #llm #airesearch

About 4 years ago I started learning about the primes - with the aim of at least understanding what the Riemann Hypothesis actually meant.

https://www.youtube.com/@PrimesToRiemann/videos

But I quickly realised I was missing huge amounts of basic knowledge - I didn't do maths at uni.

So I've spent 4 years learning very basic things like basic proof logic, number theory, a bit of analysis, ...

.. and even through progress is slow, I haven't given up. I will eventually return to that project.

Looking back over the last 4 years, the challenges have been:

1. time - a privilege and a luxury that very few can afford

2. almost all the classic and recommended texts/guides are not suitable for self-teaching. they assume you have a teacher or are part of a formal course.

3. getting help is a challenge. some places like math-stack exchange are positivity unfriendly

4. in the UK, we aren't exposed to basic proof logic and ideas even if we do maths to age 18. at least when I was at school. I mean things like proof by cases, contrapositive, quantifiers and their negations, things like this: https://builds.openlogicproject.org/content/first-order-logic/natural-deduction/natural-deduction.pdf

Wasn't there a bygone age where adult education was a thing? Or am I hallucinating?

#maths #education #selfteaching #primes #logic

they used to put me off mathematics itself

now I'm old enough to realise they have issues they need to play out on noobs like me

I wish there were an alternative option for self-teachers like me, people who don't have access to a tutor or mentor

#maths #stackexchange #selfteaching

I've spoken out against "algebra torture" exercises.

Here's a good example of an exercise that keeps it simple and focusses on the key concept.
https://numbertheorystepbystep.blogspot.com/2025/11/exercise-3111.html

And in contrast this is just torture with a poor insight:torture ratio
https://numbertheorystepbystep.blogspot.com/2025/11/exercise-3110.html

#maths #selfteaching #education

I've previously complained about poor maths exercises that are just algebra torture and don't really teach anything.

Here is an example of a really good exercise.

It forces students like me to think about the concepts introduced in the course, and also identify common false assumptions too.

The educational value is much higher imho.

#maths #selfteaching

I've always had a terrible experience on math stackechange. And it seems worse this year.

But the zulip chat (I guess it's like discord?) for leanprover has been a joy and still is.

#maths #typetheory #selfteaching

I've embarked on

📙 Number Theory - Step by Step

I'll be blogging my attempts at the exercises here:

https://numbertheorystepbystep.blogspot.com/p/contents.html

I'm pushing through a huge mental barrier because for 40 years my brain has never liked modular arithmetic, gcd, lcm, bezout's identity, Euclid's algorithm etc ... I'm allergic to all this.

But my goal is analytic number theory so I have to get the basics first. Stuff like the Totient function.

#maths #numbertheory #selfteaching

I think I'm going to be working through this book - and writing up my attempts at doing the exercises online.

It is supposed to be easier than most number theory texts, with lots of examples and discussion, and is written for self-study.

I did try other texts but they weren't ideal for self-study. They assumed you had a teacher.

(im halfway through Type Theory & Formal Proof by Nederpelt, and although there are some issues, overall it is really good for self-study and the learning gradient is well calibrated)

#maths #numbertheory #selfteaching

Gisela von Rauschenbachs "Gisela faltet!" – Vol 15

Herzliche Einladung. Eintritt frei. Danach Austausch und Snacks. Vorträge von allen für alle. Diesmal mit einem Origami-Workshop von Eva.

05.09.2025 - 19:00 Uhr 🤟
Gemeinschaftsraum des Quartiers am Hartenberg, Mainz
Jakob-Steffan-Str. 89
-
#giselavonrauschenbach #waskümmertmichdas #gisela #nichtkommerziell #vortragsreihe #vortrag #selfteaching

I've been working through Type Theory and Formal Proof (Nederpelt) ..

.. and writing up my solution attempts at all the exercises here (I've reached Chapter 5):

https://type-theory-and-formal-proof.blogspot.com/p/contents.html

Self-teaching with no teacher, I'm sure I've made many errors, but the process of writing my solutions makes me learn the stuff better than if I just did them with pen and paper.

I've done this "publishing" thing for several of my learning projects over the last few years - sometimes as videos - and it really helps if you're #selfteaching - I'd recommend it.

#maths #cs #typetheory