- 35 Posts
- 1.14K Comments
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
6·2 天前Tao is on fedi; a polite (because this is professional business) reply on Masto pointing out relevant earlier research would probably benefit the community discussions.
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
7·3 天前Writing fiction and expository material to build emotional stability while looking for the next thing to do.
Not the most encouraging answer, I know, but so it goes.
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
7·3 天前I’ve been squeezed out of physics academia after years of ordinary career pressure and obstacles that aren’t very interesting or pertinent to this thread. The fact that the insitutions and the community have no resistance to slop, that’s why I’m not even trying to go back.
blakestacey@awful.systemsto
TechTakes@awful.systems•Lean and Autoformalization: some helpful linksEnglish
11·3 天前After the paper was written, the author learned that the same result was also proved independently and by a different method by Ningyi Li [7]. The result is also contained in a paper [8] released by OpenAI on October 6, 2026, in which the proof strategy and specific choices of notation are identical to a preliminary version of the present paper that was uploaded to ChatGPT on September 8, 2026.
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
10·6 天前There’s apparently an “Association for Human Mathematics” that has released the following statement:
Yesterday, on October 6th, 2026, OpenAI – which is currently defending lawsuits against accusations of illegal plagiarism, copyright infringement, and trademark dilution – released a repository of manuscripts purporting to contain solutions to a number of high-profile problems in mathematics.
Mathematicians did not ask for this work to be done. The Advisory Group on Mathematics and Artificial Intelligence, from whom OpenAI has claimed to derive its legitimacy, opened their initial advisory statement by saying that frontier AI corporations should not test advanced mathematical problems on internal models. In ignoring the central premise of the Advisory Group’s position, OpenAI has indicated total disregard for the norms of scientific research — norms that guarantee that mathematics remains trustworthy, ethically researched, and in the public interest.
Mathematicians have a particular vision of progress that is informed by history and field-specific considerations. We reject OpenAI’s assertion that this release advances our subject, and we urge mathematicians and the public to view the value of this publication model with due skepticism.
Releasing over 700 files at once is not a demonstration of scholarship, but a demonstration of power. We urge mathematicians to discontinue their work with OpenAI and to return to a vision of science that centers human understanding.
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
15·6 天前Straw for thee, steel for me.
blakestacey@awful.systemsMto
SneerClub@awful.systems•What's a good name for an anti-TESCREAL nonprofit?English
0·6 天前Society for Egalitarian Technology and Ethical Computation
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
19·6 天前I vividly remember encountering Eliezer Yudkowsky and his Sequences 20 years ago. I remember thinking: even if these people talk and act like crazy cultists, still, let me bend over backwards to be epistemically virtuous, and entertain their ideas on their merits, as very few academics would.
Scott Aaronson is an experiment to discover how many timeshares one man can afford on a professor’s salary. He has never in his life not bought the extended warranty.
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
6·6 天前Alessandro Strumia in the comments. Only the best hang out in the online home of Computers Scott.
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
13·6 天前Joe Rogan should ask Scott Aaronson about Zionism. It will be glorious (adjective over-enunciated with wild Gowron eyes).
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
2·6 天前I unironically wish there were a faithful prose adaptation of Fullmetal Alchemist I could point people to.
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
5·6 天前I guess the community has to do all the dirty work of figuring out any sort of understanding.
Hooray for the Denial of Service attack from the industry that wants to put a meter on thinking itself.
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
13·7 天前Unhappy thought: For whatever future we’ve got, the history of mathematics will be scarred by fashtech cocaine. The people with all the money have every incentive to make mathematics intractable as a profession. No time or resources to do anything but clean up after their DDOS attacks. No way to check the correctness of AI-generated proofs except by using more AI to formalize them.
blakestacey@awful.systemsto
TechTakes@awful.systems•Anthropic: Could AI be conscious? Pope Leo: lol, noEnglish
91·8 天前You wanna shut the fuck up and fuck the fuck off?
blakestacey@awful.systemsto
TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 11th October 2026English
11·8 天前Why does the kitchen in the “zen of instant coffee” strip have two stoves?
Also: needing Claude to make a pie chart. No, that is someone with a cognitive surrender fetish. I refuse to engage.



Previously posted here: https://awful.systems/post/10025000