Skip to content
View hy-0003's full-sized avatar

Block or report hy-0003

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
hy-0003/README.md

👋 Hi there, I'm Yi He (贺毅)

Mathematics @ Lanzhou University · AI Agent · RSI

Typing SVG

"I love challenges. I'm interested in... everything?"

Technically not yet converged — and that's exactly what excites me.

About Me

B.Sc. in Mathematics & Applied Mathematics @ Cuiying Honors College, Lanzhou University 2023 – 2027

Incoming Engineering PhD ( SIAT × Tencent Joint Program ) @ Shenzhen Institute of Advanced Technology, 2027 – 2032

Research Interests: AI Agent · Recursive Self Improvement · AI × Science

Axiom of Extensionality for Functions

Axiom of Extensionality for Functions

The process is meaningless — the mapping is everything.

「万物皆函数 · 函数外延性公理」—— 过程毫无意义,映射代表一切

You may write down a many-body Schrödinger equation or minimize a thermodynamic free energy. Yet if the input–output behavior is identical, the "profound" theory and an AI black box describe the world equally well. Science is just one — not necessarily optimal, not necessarily elegant — way of describing the world.

Tech Stack

Connect Me

Email: 2981130749@qq.com

Homepage: hy0003.me

Pinned Loading

  1. DNAMethylation DNAMethylation Public

    Python 4

  2. BSDES BSDES Public

    Python

  3. Awesome-World-Models Awesome-World-Models Public

    Forked from knightnemo/Awesome-World-Models

    A Curated List of Awesome Works in World Modeling, Aiming to Serve as a One-stop Resource for Researchers, Practitioners, and Enthusiasts Interested in World Modeling.