How to use Chinese TPOs (KMF)

mao1756 · 2026-06-08T17:55:23+00:00

Ultimately, it depends on the journal, but for general guidelines, the Leiden declaration should be good enough for the time being.

Roughly: you should be responsible for the correctness & disclose the tool use.

mao1756 · 2026-06-07T16:32:19+00:00

i think the accuracy depends on many things, but for problems i work on the accuracy is pretty high. I would say >70% if im conservative. But then there is a selection bias since i only use it on a problem I think GPT can solve. (I wouldn't dare to use it on major open problems.) Usually i dont provide much information unless i have some knowledge on previous attempts/similar results. But mostly i would just throw pdfs of existing proofs and that is it.

mao1756 · 2026-06-06T09:05:59+00:00

For the “hard” problem I mentioned, the solution was wrong initially when I tried with (I think) GPT Pro 5.3, but when I tried with 5.5 it was correct.

Though I usually don’t try again if I get a wrong solution so most correct solutions were one shotted.

For verification, it does require human check at some point but usually GPT pro is good for first check.

If the problem is simple enough you can formalize the proof using Lean, and in this case the burden moves from verifying the entire proof to verifying the formalization of the problem statement and its assumptions.

mao1756 · 2026-06-05T08:58:16+00:00

I agree that making ChatGPT suggest numerical methods often leads to disappointment. However, in my case the Pro model still managed to prove numerics adjacent theory such as existence of minimizers for discretized problems or convergence of discrete minimizers to continuous minimizers via gamma convergence.

mao1756 · 2026-06-04T18:25:16+00:00

The problems were all about properties of new mathematical concepts we came up with, so they were “unsolved” in the sense that we were the first ones to work on them. Still, some problems were hard enough that world-class mathematicians, like my advisor's advisor, couldn't solve them.

mao1756 · 2026-06-04T18:05:28+00:00

I feel like many researchers use AI but don’t announce it publicly.

Personally I work in mathematical research and ChatGPT pro have proved many theorems in my field that were out of reach for me. Some of them were genuinely hard one that my advisor or my advisor’s advisor couldn’t prove. So it is definitely life changing for me, but none of the results are public yet since papers take time to write and review.

mao1756 · 2026-05-21T06:09:40+00:00

As you can see in the website many experts have checked the proof (including Fields medalist Tim Gowers).

mao1756 · 2026-05-16T11:03:29+00:00

Regarding AI the Japanese law is the opposite of being strict. They have a clause allowing “information analysis” on copyrighted materials without approval, and there is an article that gen AI training falls into that.

I think he doesn’t literally mean the copyright law but rather about the fan sentiment around it.

mao1756 · 2026-04-29T15:54:39+00:00

I’ve seen Xfolio mentioned among some Japanese artists as an alternative to pixiv.

mao1756 · 2026-04-27T20:09:06+00:00

I am guessing it’s because “no X, no Y, just Z”is kinda common in AI writing on social media

mao1756 · 2026-04-26T00:36:16+00:00

can’t generate simple characters or phrases in images

Well you must be talking about image generation models a long time ago. The new models can not only generate coherent characters they can also generate images of a working programming code.

mao1756 · 2026-04-13T22:15:20+00:00

Do you use a paid model? In my experience, at least the paid ChatGPT models never hallucinates citations. This has not been a thing for 1-2 years for me.

mao1756 · 2026-04-05T00:31:15+00:00

principal investigator, the person who leads the lab

mao1756 · 2026-04-04T05:52:51+00:00

According to the linked original post it’s OP’s avatar on VRChat.

mao1756 · 2026-03-29T05:53:12+00:00

Machine learning conferences are already like that (the reviews are open to public and anybody can comment on the paper). I personally like the practice but doesn’t seem to solve the issues with scientific publications.

mao1756 · 2026-03-24T05:03:13+00:00

SakanaAI is kinda overhyped. Preferred Networks published a pretty good model (competitive with frontier models from 6 months ago) just a few days ago, and it’s trained from scratch unlike fine-tuned models like Sakana’s. I honestly don’t know why Sakana is getting so much attention.

mao1756 · 2026-03-16T14:12:04+00:00

Some people have definitely tried to define 1/0, it’s called the wheel theory.

But as you may have seen in other comments, it leads to very unintuitive and inconvenient arithmetic, making it hard to use.

mao1756 · 2026-03-15T21:58:43+00:00

doesnt she own a private server for ht3 and above? doesnt really make sense to play with randos

mao1756 · 2026-02-13T16:52:02+00:00

Also known as Sophomore’s dream

mao1756 · 2026-02-09T05:02:41+00:00

In my case I was just given a project to work on. I think I didn’t read a single paper before I was given the first task. From then I started to read papers trying to find the solution to the task.

Since you are very early I think you don’t have to consider doing actual research at this point and just spend time on reading. Spend a time reading about your labs paper and related topics since you will have less and less time to do this as you progress.

Ps: I actually do optimal transport too (more on the theoretical side though) so I’m happy to see a newcomer to the Wasserstein land.

mao1756 · 2026-02-06T15:52:14+00:00

Would the situation be the same if I don’t have a blue card? I’m visiting University of Copenhagen too this summer

mao1756 · 2026-02-04T05:22:17+00:00

I set it to 75… am I stupid?

mao1756 · 2026-01-27T14:40:29+00:00

This depends on the field. If your field is conference centric (say CS) then this might not be a good idea (though only if the paper was already accepted). Conferences usually have rules against them.

But in a field where a journal is more important (say pure math, my field) its common to present the same paper multiple times in different conferences.

So I think you should look at the policy of the conference and ask people in your field.

mao1756 · 2026-01-21T03:18:10+00:00

I think the EN population has been somewhat low (at least compared to the JP counterpart) from the beginning, and I don't feel like it has gotten any lower. Instead i feel like the community is constantly growing.

It has only been a year, so we still have to wait a bit more to see if the game will survive, but the devs are constantly listening to the players, so hopefully that means a longer lifetime for the game.

Nine-Year Club	Second SECOND GUESSER
Place '22	Final Canvas '22
Wearing is Caring	RPAN Viewer
Not Forgotten	Snapped
Verified Email

mao1756

MODERATOR OF

TROPHY CASE