Enrique Treviño's Avatar

Enrique Treviño

@enriquetrevino

Math professor. My research is mostly in number theory. I am also very involved in Math olympiads.

391
Followers
147
Following
22
Posts
17.11.2024
Joined
Posts Following

Latest posts by Enrique Treviño @enriquetrevino

In their defense, JSN at least tried to stay in bounds.

26.01.2026 02:45 👍 0 🔁 0 💬 0 📌 0

Where do you get Columbia?

13.12.2025 03:49 👍 0 🔁 0 💬 1 📌 0

That one really hurt.

17.11.2025 04:30 👍 0 🔁 0 💬 0 📌 0

Better than a field goal try though

11.11.2025 04:25 👍 1 🔁 0 💬 0 📌 0
Terence Tao (@tao@mathstodon.xyz) It is tempting to view the capability of current AI technology as a singular quantity: either a given task X is within the ability of current tools, or it is not. However, there is in fact a very wid...

My thoughts on the crucial importance of methodology on self-reported AI performance on mathematics competitions, and my policy on commenting on such reports going forward: mathstodon.xyz/@tao/1148814...

19.07.2025 22:37 👍 232 🔁 52 💬 2 📌 10

Did they mention how long the program ran? Last year it solved 4 (1,2,4,6) but after running it for 3 days.

19.07.2025 14:24 👍 2 🔁 0 💬 1 📌 0

When I try to open the link, it says "page not found"

17.06.2025 19:50 👍 1 🔁 0 💬 0 📌 0

I pronounce it as "log". I explain multiple times throughout the semester that whenever I say log I mean natural logarithm (I still spell it "ln" in my Calc courses, but change to log for upper level courses).

21.03.2025 22:04 👍 0 🔁 0 💬 1 📌 0

what does piping mean with respect to code?

04.03.2025 22:04 👍 1 🔁 0 💬 1 📌 0

I thought it would just use contradiction instead of contrapositive, but it ended up being more clever than that.

23.01.2025 22:31 👍 1 🔁 0 💬 0 📌 0

The loss hurts, but they did get something. First time with the first seed, the division win (the MIN game was intense).
There's a phrase in Spanish I like a lot which I think is relevant: "lo bailado no te lo quita nadie", which roughly translates to "no one can take away what you already danced"

19.01.2025 04:59 👍 3 🔁 0 💬 0 📌 0

Not sure about the second one given the roster discrepancy

19.01.2025 03:56 👍 0 🔁 0 💬 0 📌 0

He probably just didn't think fast enough.

19.01.2025 03:41 👍 0 🔁 0 💬 0 📌 0

What happened?

15.01.2025 03:13 👍 1 🔁 0 💬 1 📌 0

I think I will in the near future. I have been going to fewer conferences since the birth of my second daughter (2020).

12.01.2025 00:12 👍 1 🔁 0 💬 0 📌 0

Me too. The last year I went was 2019. I really like the relaxed atmosphere of the conference.

11.01.2025 17:32 👍 1 🔁 0 💬 1 📌 0

At West coast number theory conferences many of us pick our illustrative examples to include 8675309. Fun times

11.01.2025 15:07 👍 5 🔁 0 💬 1 📌 0

Good thing I didn't try to convince you.

08.01.2025 02:00 👍 1 🔁 0 💬 0 📌 0

I won't try to convince you, but it is obviously a false statement. I agree it's very rare that anybody changes their opinion, but that it never happens is too strong a statement to have any chance of being true.

07.01.2025 23:50 👍 1 🔁 0 💬 1 📌 0

My wife likes grapefruit, so I get her grapefruit. She can eat it as is without having to mix it with things.

11.12.2024 05:15 👍 2 🔁 0 💬 0 📌 0

Yes

10.12.2024 23:29 👍 1 🔁 0 💬 1 📌 0

Once you said "you'll never guess" it helped me guess the right answer

10.12.2024 14:18 👍 1 🔁 0 💬 0 📌 0

Where do they rank once all teams with at least 10 wins in the first 14 games are included?

09.12.2024 04:39 👍 0 🔁 0 💬 0 📌 0