Columbus, OH news bot (@columbusnewsbot@c.im)
Epstein files exhibit visits Columbus, Epstein and Strauss survivors call for Wexner’s name to be removed from campus buildings https://www.thelantern.Columbus, OH news bot (C.IM)
Epstein files exhibit visits Columbus, Epstein and Strauss survivors call for Wexner’s name to be removed from campus buildings https://www.thelantern.Columbus, OH news bot (C.IM)
Homecoming parade detours as College Road construction continues https://www.thelantern.com/2026/10/homecoming-parade-detours-as-college-road-construction-continues/ #columbus #ohio Ohio State’s 114th Annual Homecoming Celebration Parade…Columbus, OH news bot (C.IM)
Inside Ohio State’s joint patrol unit and its role in campus safety https://www.thelantern.com/2026/10/inside-ohio-states-joint-patrol-unit-and-its-role-in-campus-safety/ #columbus #ohio As most Ohio State students settle in for the nigh…Columbus, OH news bot (C.IM)
100 years later, a new cow carries on Maudine Ormsby’s homecoming legacy https://www.thelantern.com/2026/10/100-years-later-a-new-cow-carries-on-maudine-ormsbys-homecoming-legacy/ #columbus #ohio For most homecoming queens, their reign i…Columbus, OH news bot (C.IM)
Northwest Bank opens student-focused branch on High Street https://www.thelantern.com/2026/10/northwest-bank-opens-student-focused-branch-on-high-street/ #columbus #ohio Northwest Bank opened its second Columbus branch Wednesday near Ohi…Columbus, OH news bot (C.IM)
The Pentagon plans to live-streamthe firing squad executionof the Fort Hood shooter,and my head is so very heavy,and everything is covered in the ashesof a b...Caitlin Johnstone (YouTube)
80 Level just posted:
Live-Action Cyberpunk 2077 Movie Is in Development at Paramount
Lorenzo di Bonaventura, a producer known for the Transformers franchise, is joining the team.
Read the column: https://chrishedges.substack.com/p/thoughts-on-the-mass-rape-at-cornellSupport my independent journalism at Substack: https://chrishedges.su...The Chris Hedges YouTube Channel (YouTube)
How has Labour Friends of Israel managed to keep its sources of funding a secret? We spoke to journalist Solomon Hughes whose discovery gave us some answers....Declassified UK (YouTube)
一句话总结:数学界领袖陶哲轩联合众多数学家,因OpenAI大规模发布低质且不可读的AI生成证明,破坏了学术规范和科研生态,正式发起全面抵制。
这场争斗大概率不会以“某一方彻底胜利”收场,而是会把数学界的生产关系重新切一刀:OpenAI 不会撤回已经发布的 722 篇(现已 719 篇),AHM 的“抵制”也很难变成全行业硬性禁令,但数学共同体一定会把验收门槛和功劳分配规则改写掉。下面按时间尺度拆开看。
OpenAI 这边不会退
数学界这边也不会真“联合抵死”
所以这阶段的实际画面是:
OpenAI 继续倾泻 → 顶尖数学家挑其中“能懂、能引用、能拿来讲课”的少数结果吸收 → 大部分 719 篇在 GitHub 上躺着等人验 → 验证负担转嫁给无酬学术界。
陶哲轩提的“Math 2.0”不是情怀,是一套新的信用分配方案,大概率会落地成几条硬规矩 :
AGMAI 已经把底色调成“发布只是开始,不是结束”,而且强调数学家必须能提自己的问题、探索 AI 没选的方向 ——这句会被写进未来期刊指南里。
杨立昆那套“船取代游泳但发现新大陆”和陶哲轩“Math 2.0”其实不矛盾,只是站在不同楼层:
所以结果不是“数学家失业”,而是数学家的溢价从‘算得快’转移到‘看得懂、讲得清、定方向’。验题员会更累,但能开新方向的人会更贵。
| 情景 | 可能性 | 关键条件 |
|---|---|---|
| OpenAI 继续批量倾泻,数学界半推半就吸收 | 高 | 只要 Lean 形式化比例继续抬升、少数结果被大家引用 |
| 顶级期刊联合拒收“无人类阐释包”的 AI 预印本 | 中高 | 莱顿宣言 + AGMAI 准则固化成投稿规则 |
| AHM 式硬抵制引发分裂,部分数学家彻底不碰 OpenAI 成果 | 中 | 取决于接下来 1–2 年有没有重大错证事件 |
| 出现“AI 证明 + 人类阐释”双作者强制规范 | 中高 | 陶哲轩优先级规则被 IMU 或 Annals 级刊物采纳 |
| 密码学/千禧难题被 AI 真拿下引发外部监管介入 | 低但存在 | 若出现可攻击 RSA/ECC 的数学捷径,争论会溢出数学圈 |
这场架的终局不是“人类数学战胜 AI”或“AI 埋葬数学”,而是:
OpenAI 拿到了“生成权”,但解释权、收录权、教学权、诺奖/菲尔兹归属权还是留在人类手里。谁先把“AI 出结果 → 人类出理解”的流水线制度化,谁就定义了下一代数学。
#ai #news #openai #software #coding #development #engineering #inclusive #community
VideoCardz just posted:
Tiny Corp charges $4,000 for four Radeon RX 9070 XT GPUs in new Tinybox AI workstation
Tiny Corp launches configurable Tinybox with up to 192GB RAM and four GPUs Tinybox now comes with configurable AMD and NVIDIA GPUs, starting at $7,000 without graphics cards. Tiny Corp,...
videocardz.com/newz/tiny-corp-…
Tiny Corp's configurable Tinybox starts at $7,000 without GPUs. Four Radeon RX 9070 XT cards add $4,000, while NVIDIA configurations cost considerably more.WhyCry (VideoCardz.com)
READ FULL ARTICLE IN:https://sovereignty.com.br/geopolitics/merz-visited-kyiv-as-its-population-rejects-sending-weapons-for-war/Expert Analytical Association Sovereignty (YouTube)
GamingBolt just posted:
Mafia 3: Definitive Edition is Out Now for PS5 and Xbox Series X/S with 60 FPS Support
The 2020 re-release's PC version has also received much-needed improvements and new features, including higher frame rate options.
On this episode of The Target with Robert Inlakesh, we dive into a staggering new admission: around 30,000 Israeli soldiers have been injured since October 7...MintPress News (YouTube)
What should we tell our students?
Link: terrytao.wordpress.com/2026/10…
Discussion: news.ycombinator.com/item?id=5…
[This is a guest post by Álvaro Lozano-Robledo. This blog post was initially written in a different file format and converted using AI. — T.] TL;DR: Keep calm and carry on studying math. I wo…Terence Tao (What's new)
Insider Gaming just posted:
When Will Marvel Rivals Servers Be Back Up? Marvel Rivals Season 10.5 October 9 Downtime
All the details on the Marvel Rivals server downtime on October 9, including all you need to know about Season 10.5.
Yemen’s civil war between Ansarallah and a Saudi-backed coalition has reignited across the country.Drop Site (Drop Site News)
Keyboard differences between Windows and Macs
Link: unsung.aresluna.org/deeper-div…
Discussion: news.ycombinator.com/item?id=5…
A blog about software craft and qualityUnsung
The massive display of American military might during Xi Jinping’s visit underscores the shift from a unipolar world to a new reality in which the U.S. isАдриан Корчинский (New Eastern Outlook)
Reducing undefined behavior in the C language
Link: lwn.net/Articles/1095811/
Discussion: news.ycombinator.com/item?id=5…
As a professor of biomedical engineering, Martin Uecker perhaps does not fit the profile of a t [...]LWN.net
GamingBolt just posted:
Ace Combat 8: Wings of Theve Crosses 1 Million Sales, Becomes Fastest Selling Game in the Series
Project Aces expressed its gratitude to players worldwide and will "continue to release updates to ensure you keep enjoying the game."
80 Level just posted:
Dead Space Creator Glen Schofield on AI's Limits in Game Development
"A creative idea can save more money than AI can right now."
Saharawi political prisoners have resumed a hunger strike in Moroccan prisons, demanding their release, improved detention conditions and the implementation of UN decisions.wsrw.org
OpenAI, the Partition Principle, and Mathematics
Link: karagila.org/2026/openai-pp/
Discussion: news.ycombinator.com/item?id=5…
By the time I got out of bed yesterday, I had three people ask me if I'd seen the OpenAI announcement that the Partition Principle does not (...)karagila.org
Operation Dawn has opened a new chapter in Yemen's long-running war, bringing the strategically vital Bab al-Mandeb Strait back to the centre of theАлина Им (New Eastern Outlook)
VideoCardz just posted:
AnyPS5 reaches 100% GPU shader instruction coverage for PS5-to-PC conversion
AnyPS5 reaches 100% GPU instruction coverage, system libraries at 85% The AnyPS5 project has reached 100% coverage of its tracked PlayStation 5 GPU shader instructions. Its official progress tracker now...
videocardz.com/newz/anyps5-rea…
AnyPS5 has reached 100% coverage of its 1,166 tracked PS5 GPU shader instructions. This is progress toward PC compatibility, but games still require additional work.WhyCry (VideoCardz.com)
The global system is undergoing its deepest shift in the balance of power since the end of the Cold War: the unipolar world is fading, and the GlobalMohammed ibn Faisal al-Rashid (New Eastern Outlook)
WHO is seeking more information after reports of a laboratory worker’s death in Russia raised concerns about a possible pneumonic plague infection. Here is what is known about the disease, how it spreads and the current risk to the public.Yasmine Jacobs (IOL)
Three British sisters who drowned in the sea in southern England in May died by suicide, a coroner ruled on Thursday at an inquestAFP (IOL)
TheGamer just posted:
GTA 6 Now Has An Official Merch Store Filled With Clothes And Collectibles
Rockstar has just released a lot of official GTA 6 merch, including t-shirts, caps, stickers, and lots more.
thegamer.com/gta-6-official-me…
You no longer have to buy a $400 collector's edition to get a GTA 6 T-shirt.Josh Coulson (TheGamer)
Show HN: Quake ported to safe Rust, playable in browser
Link: quake-srp.pages.dev/
Discussion: news.ycombinator.com/item?id=5…
Quake (1996), faithfully ported to dependency-free safe Rust and compiled to WebAssembly — play the shareware episode in your browser.quake-srp.pages.dev
WASHINGTON, Oct. 8 (Xinhua) -- U.S. Vice President JD Vance said Thursday that nine universities, inen.people.cn
Domani a Napoli, #Marea:
Con @luigidaniele10 per presentare i rispettivi:
->IL DIRITTO DEL PIÙ FORTE (suo)
->LA LUCE DEL RISVEGLIO (mio)
Assieme agli immensi @lcastellina, @emibrancaccio e #LucaZuluPersico
Importantissima la presenza di @GretaThunberg e tanta società civile.
JERUSALEM, Oct. 8 (Xinhua) -- Israel said on Thursday that the British consulate in East Jerusalem hen.people.cn
ocram likes this.
A demonstrator holds a placard in front of the White House in Washington, D.C., the United States,en.people.cn
Russia continues its campaign of escalated strikes across Ukraine, targeting key bridges that are used for transport by the Ukrainian military...Rachel Blevins
Nintendo Life just posted:
Tropico 7 Officially Confirmed For Switch 2, Out 2027
Update: Here's the story trailer.:The dictator sim Tropico 7 is on its way to the Switch 2 and will be releasing alongside other versions on 28th January 2027.Read the full article on nintendolife.com
Author of a masterful study on the CIA and the cultural Cold War, British historian Frances Stonor Saunders provided a detailed account for The Independent of the CIA’s covert role in sponsoring Abstract Expressionist painting in the United States.Frances Stonor Saunders (Voltaire Network)
Live coverage of the war on Iran. Updates, analysis, and the latest developments as the conflict escalates across the region. Links: Dr. Lama interview https://www.youtube.com/watch?v=x4M_57JNh1o OctoThe Cradle (Rumble)
New gTLD Application for .lan
Link: newgtldprogram-aps.icann.org/a…
Discussion: news.ycombinator.com/item?id=5…
New gTLD Program: 2026 Round public application information, including application status.newgtldprogram-aps.icann.org
Ali Mazloum reports from Beirut to meet with Maan Bashour, founding President of the Arab National Forum, to commemorate 56 years since the passing of Egyptian President Gamel Abdel Nasser and discussFreePalestineTV (Rumble)
NEW DELHI, Oct. 8 (Xinhua) -- Four people were killed and eight others injured after a building collen.people.cn
AI-ready biological data: $1.8B global commitment
Link: biohub.org/news/virtual-biolog…
Discussion: news.ycombinator.com/item?id=5…
Biohub, DOE, NIH, and partners will generate open, standardized data to train AI models that predict how cells respond to interventions.Biohub
TOKYO, Oct. 8 (Xinhua) -- Japanese Prime Minister Sanae Takaichi said Thursday she has no intentionen.people.cn
Nintendo Life just posted:
Wake Up, Samurai! Cyberpunk 2077 Is Getting A Live-Action Movie
But who will play Johnny Silverhand?Cyberpunk 2077 didn't get off to the best start when it originally launched in 2020, but it's now considered a success story. Since then, CD Projekt Red has polished it up, rolled out an animated Netflix series, and released a Switch 2 version of the title.A second game is also in ...
The African Union launched the Africa Credit Rating Agency on Wednesday in Port Louis, Mauritius, seeking to strengthen the continent's financial architecture and provide investors with independent assessments that better reflect African economic con…SHARON NAKOLA in Nairobi, Kenya (China Daily Global)
Everything you need to know about the protests against RNLI volunteers after the lifesaving charity aided asylum seekers in the English ChannelViveka Herzum (Yachting Monthly)
US-Russia talk of reviving Nord Stream faces EU gas bans, sanctions and German opposition, even as winter prices and low storage raise the pressure.Chloe Maluleke (IOL)
I think I found a planet nobody knew existed. I used Claude Code to find it
Link: reddit.com/r/ClaudeAI/s/mbe5IY…
Discussion: news.ycombinator.com/item?id=5…
Anywhere in Cbus where I can get a free mug? Also, saw a fire truck on High St today, any idea what happened? I'm coming to in next Sat for an event I cant name, but where should I stay to be close to the stadium? byu/djsassan inColumbusdjsassan (reddit)
The Italian Festival on the church steps, the Ohio State homecoming parade and game, the last Hoster Oktoberfest on James Road, Boo at the Zoo, Apple Butter Day and more. 31 things to do in Columbus October 9-11.Chelsea Wiley (Columbus Navigator)
The Best Things To Do In Columbus This Weekend (October 9–11) https://www.columbusnavigator.com/things-to-do-this-weekend-columbus-october-9-11/ #columbus #ohio The Italian Festival will take over Italian Village for three days, Ohio State …Columbus, OH news bot (C.IM)
Global trade is proving more resilient than expected, with the WTO sharply raising its 2026 forecast as AI investment and supply-chain adaptations offset Middle East disruptions.AFP (IOL)
A US death-row inmate who survived a botched execution is walking again, but her lawyer says she remains mentally foggy.AFP (IOL)