@1wakur4Lain @trevorm4xdd @PDoomOrder1 @TaliaRinger I'm not saying it has done that. What I'm suggesting is that it is possible computers might solve math (just like it solved chess and Go) in a way that is just not intuitive to humans.
English
维尼诗人 | Winnie the Poet
2.7K posts
@JaredLipton @trevorm4xdd @PDoomOrder1 @TaliaRinger Has one done that? Every single bit of math I've seen it do that was claimed as "novel" was shepherded by humans and based on earlier work that had not synthesized into the field. It mined currently available but unadvocated for solutions not generated something creative in math?
English
The math community is not angry about the fact that this was formalized, but rather the way in which it was formalized without respecting norms for mathematical collaboration. Something I hope to talk to Jesse more about
Mario Krenn@MarioKrenn6240
After the apparently amazing announcement by @mathematics_inc on the formalization of a major recent Fields-medal winning theorem, i had no idea how pissed the math-formalization community is. Very worrying discussions by some of the leaders/founders of Lean's mathlib. cc @ChrSzegedy
English
@miniapeur What about a declining star? Or even better, a never-gonna-make-it-a-star?
English
I hear many prospective PhD students say things like, “Wow, imagine being advised by [insert some famous professors].” Yeah, but actually, the more famous they are, the less likely you are to have much interaction with your advisor. It’s typically much better to have a rising-star professor as your advisor if you want real supervision and support.
English
@trevorm4xdd @PDoomOrder1 @1wakur4Lain @TaliaRinger Unfortunately it does mean humans are obsolete for doing math if a computer ever solves RH or P vs NP. Humans can do math for enjoyment is of course a given. I'm not questioning that at all.
English
@PDoomOrder1 @1wakur4Lain @JaredLipton @TaliaRinger Nobody cares about engine chess and nobody uses the term "top level chess" to describe engine chess. Just because computers are better at certain things doesn't mean humans are obsolete at those things (esp for games like chess that are for human enjoyment)
English
@BellaBaddie__ Kilo. “Kilo” comes from the Greek word khilioi, which literally means one thousand.
English
@prfsanjeevarora Does the loss function of AlphaGo capture elegance and human utility?
English
At a recent meeting I heard similar comments/worries from a leader in the Lean community.
I suggest that people designing AI tools here make them helpful to humans. We need a loss function that captures elegance and human utility.
Mario Krenn@MarioKrenn6240
After the apparently amazing announcement by @mathematics_inc on the formalization of a major recent Fields-medal winning theorem, i had no idea how pissed the math-formalization community is. Very worrying discussions by some of the leaders/founders of Lean's mathlib. cc @ChrSzegedy
English
Given what current-gen LLMs (say, in math, but whatever) can do, I think their apparent limitations are kind of mysterious. What is the blocker preventing, at present, high quality fully autonomous work?
English
arxiv needs a desk reject function before it's too late.
CLaE@leafs_s
Transformers are Bayesian Networks arxiv.org/abs/2603.17063
English
What is upsetting here is not whether the proposal gets accepted (TBH why would I even care...), but that "the inclusion of an undergraduate on the organizing committee" was treated as a concern in itself. That sends an extremely discouraging message to junior researchers. Seeing our junior colleague apologize over this was honestly heartbreaking. ACs could have just said "space is limited" right?
We were all undergraduates once, before grad school, and most of us entered this field with very limited connections, nothing but curiosity, and a willingness to contribute. I have had the chance to work with many outstanding undergraduate researchers, and I have learned a great deal from them. Many remarkable open-source contributors are not even undergraduates yet, but still high school students.
If the argument is that workshop organization requires time and community connections that undergraduates may lack, then that standard should be applied consistently: (i) stop asking undergraduates to review teh main conference, and (ii) let senior people provide the missing connections instead of using status as a gatekeeping criterion. If the concern is their lack of connections, then fine, I'll be their connection, even if I'm still a rather useless one for now.
Freda Shi@fredahshi
@cypaquette @neu_rips After seeing the decision comment, our undergrad apologized to us, which I do feel bad about. Our community could’ve been more considerate and show more welcome to outstanding junior researchers. (2/)
English
It's pretty simple... if McDavid doesn't score, the Oilers don't win.
English
English
ICML workshop acceptance rate was 18% this year (due to space constraints), with submissions up 60% from last year.
That meant many very strong, high-quality workshop proposals could not be accepted. (1/)
@neu_rips @fredahshi
English
微软服软了。
Windows 11声誉跌到谷底后，执行副总裁Pavan Davuluri发布长文《Our commitment to Windows quality》，几乎是一封没有道歉的道歉信。
核心改动：
1）Copilot踩刹车。从Notepad、Photos、Snipping Tool、Widgets中移除AI入口。不再到处塞按钮。
2）广告收敛。开始菜单推荐栏广告减少，甚至可以完全关掉。
3）任务栏终于能移了。上下左右随便放，右键直接设置。Windows 10时代的基本功能，花了四年才还回来。
4）Windows Update不再流氓。可以跳过、可以延后、可以关机不装更新。强制重启减少。
5）内存占用下降。低配机器跑得动，高配机器也受益。
6）文件资源管理器修bug。启动更快、闪烁更少、导航更顺。
首批改进3月和4月进Insider，全年逐步铺开。
Engadget的标题写得最狠："在你们太多人威胁要换Linux之后。"
用户骂了四年，微软终于听进去了。
中文
@fredahshi Isn't this against diversity, equity, and inclusion? Why can't undergrad help organize workshops? Organizing is just helping! Sending emails is organizing.
English
Our workshop was rejected by #ICML2026.
Despite having 3 professors (2 full profs) and 2 senior research scientists, the only reason for rejection was "you got an undergrad on the organizing committee," who is actually a highly competent incoming PhD student. (1/)
English
just got invited to peer review a paper I'm one of the authors on
English
@oxcrowx Give her some credit... Discovering integral calculus is not an easy job.
English
Once a doctor re-invented integration by trapezoidal rule because she did not learn it in school.
She received 75 citations for her novel work.
She even named it after herself. lol.
Valentin Ignatev@valigo
I desperately need to learn more math. Recently I invented "lerp" from first principles. Would have saved some time if I knew its industry-standard name :/
English
@eigenron I remembered two substantial pieces of ads ...
English
