Alain Van Kerckhoven 🇵🇸 @avkLab

Terence Tao just published a 27-slide deck on what AI is doing to mathematics >Tao: math was built on proofs being scarce, and that era is over >verdict: “we are now entering an era of proof abundance in mathematics” >with enough compute AI can solve many open problems with no expertise required >the field’s entire incentive structure was built for proof scarcity >problem-solving was only ever a proxy for deeper goals >that structure is now "misaligned" >“blind optimization of problem-solving alone is now actively harmful” >problems are lighthouses, not destinations >reaching them prematurely with AI “sterilizes the surrounding field” >calls AI math hype the WWII survivorship-bias plane >“Wow, all the math problems I am seeing on social media are being solved by AI!” >labels the red dots as the failures you don’t see >“Unreported failed AI attempts” >then drops a thought experiment: >prompt AI to "find a cancer cure that passes a stage 3 clinical trial" >prediction "confirmed in Lean" and passes the trial >everyone celebrates >"nobody truly knows how this cocktail was found" >Tao asks the real question: >did the AI cure cancer, or did it mathematically game flaws in the trial protocol? >”before injecting this cocktail into your bloodstream, would you want to know that there is at least one human cancer expert who understands the mechanism behind this cure?” >solution: “tailored, open-source math models” built for “interpretability and safety” >“open math models to be released very soon - stay tuned!” Math 2.0 is officially happening

keyboard_arrow_left Previous keyboard_arrow_right Next

数学界今天彻底破防了，人类最后的智力象牙塔正在坍塌。 陶哲轩刚刚在博客转发了一份炸裂声明：OpenAI 昨天突然毫无预警地向全世界甩出了 700 多份数学论文，声称直接攻克了一大批人类历史上悬而未决的顶级数学难题。 然而，由顶尖学者组成的“人类数学协会”（AHM）不仅没鼓掌，反而集体发起了抵制呼吁。 AHM 声明里的原话极具攻击性： “一次性倾倒 700 篇论文不是学术贡献，这是赤裸裸的权力展示（Demonstration of power）。” 数学家们愤怒的点在于： 1. 学术拒绝服务攻击（DoS）： 这相当于企业为了 IPO 造势，把 700 个核弹扔给学界，却让全世界没有薪水的数学家充当免费人肉审稿机。 2. “无法理解的答案”算真理吗？ 如果一个世纪难题被黑盒算力+形式化代码暴力破开了，但整个人类社会没有一个人能真正理解其中的直觉与机制——数学到底算不算被推进了？ 评论区一句高赞直接把我看愣了： “当年 AlphaGo 碾碎围棋三百年定式的时候，数学家高高在上看热闹；今天轮到自己的象牙塔被推倒了，大家才突然想起来要保卫‘人类的理解’。” 归根结底是数学家的利益受到了侵害。 不过话说回来，当柯尔莫哥洛夫、庞加莱苦思冥想一辈子的直觉，最终被 GPU 阵列的蛮力推导在几个小时内冲刷殆尽；当证明变得像自动化工厂流水线一样廉价，人类对真理的求索究竟还剩什么意义？ 你站哪边？ A. 赞成 AHM：没有人类理解的证明只是算力垃圾 B. 站 OpenAI：真理不问出处，人类守门人该清醒了

Quasi-RH?!?!???! Are you kidding me? If a human did this, it would be an instant Fields Medal, no questions asked. RH says zeta has no zeros in Re(s)>1/2. The best we had until a second ago was a region that got thinner and thinner the higher up the imaginary axis you go. I thought maybe they’d fatten that up a bit, that’d be a massive breakthrough. But no. They got a zero free strip!!!! Insane

OpenAI @OpenAI

3 weeks ago

We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and

2K 6K 41K 22.7M 14K

I resigned from Anthropic today. I spent the last three years doing pretraining research at both OpenAI and Anthropic. Neither company is acting responsibly. They are racing straight to self-improving superintelligence and gambling with our lives. More thoughts below.

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

We have released the Gaza Node Map: every event, location, person, video, soldier, strike, victim, journalist, etc - are mapped out as a nodes, and each node linked with it's related nodes for researchers. It includes: 92,588 events 159,520 links 3,440 fascilities 715 Actors/IDF units 21,427 strikes Fully searchable index Downloadable database Dossier per node with related events & source links Generate report button per node & node groups It can be accessed here: archivegenocide.com/lab/ Please re-share & quote tweet to help it break out of the algorithm. This is a slice of the data, we are uploading the rest of it as fast as possible. If you want to submit footage or give feedback / report a bug, join our telegram (linked in bio). Thanks to everyone invovled in this project. This is a beta so expect bugs & errors, especially on mobile devices - we suggest you use a PC. Follow our backups @ZionismExposedx & @IsraelExposedAr God bless.

ANNOUNCEMENT: An AI milestone on one of maths' most famous unsolved problems: COLLATZ. For every sufficiently large X, at least cX positive integers n < X reach 1 within 10.46 ln(n) ordinary Collatz steps, for one fixed c > 0. Previously, lower bounds such as X^0.84 and X^0.90 left open whether the proportion of starting values reaching 1 could tend to zero. Lean-formalized (42k additional lines), building on earlier formalizations of almost-boundedness (Tao) and its natural-density extension. Developed primarily by AI agents using the ProofAtlas.ai harness and Codex, with some high-level guidance from me (which may or may not have helped). Paper: proofatlas.ai/papers/positiv… Formalization: proofatlas.ai/formalizations…

Annulation de la dette : je demande l'implication dans le débat de ceux qui l'ont demandé dans un passé récent. Ci-dessous tribune et signatures : lejdd.fr/Economie/tribu…

keyboard_arrow_left Previous keyboard_arrow_right Next

@LouisWitter Les organisateurs du festival et la municipalité de Deauville font disparaitre cette photo capturant un match de football au milieu des ruines à Gaza. Nous la remettons ici. 📷photojournaliste : Jehad Alshrafi

L'affaire Barbara Butch est un cas emblématique de réécriture du réel, en dépit des faits et des images. Après 8 jours de délire médiatique, le Parisien dévoile "en exclusivité" la "preuve" du "lynchage" : une bouteille. Une seule. Qui atterrit au pied de la scène.

Chris Sidoti, Commission d'enquête sur la Palestine de l’ONU : -«Toute personne qui a servi dans les Forces 🇮🇱 à Gaza depuis 10/2023 doit être considérée comme suspecte de crimes de guerre, crimes contre l'humanité, et du crime de génocide. » @jnbarrot

Les commentateurs sportifs suisse, toujours au RDV de la vérité !

Nouvelles révélations dans l'affaire des ingérences étrangères israéliennes dans nos démocraties. On apprend que la campagne municipale à New York, qui a abouti à la victoire de Zohran Mamdani, en a été la cible. Et c'est toujours Blackcore, la société proche de Netanyahou à l'origine des attaques contre les candidats de La France insoumise, qui a mené cette opération. La cellule de renseignement française Viginum l'a découvert. Netanyahou et ses complices génocidaires continueront de traquer et de nuire à tous ceux qui dénoncent leurs actes barbares. Nos démocraties doivent se défendre contre ceux qui veulent leur nuire. reuters.com/world/israeli-…

La nouvelle carte de la bande de Gaza prévoit que 70 % du territoire sera sous contrôle israélien. Cette zone comprend les terres agricoles, les zones frontalières, la zone tampon, les principales réserves d’eau, les installations de dessalement, les stations de traitement des déchets ainsi que les espaces destinés au développement futur. Près de deux millions de Palestiniens se retrouveraient ainsi confinés sur seulement 30 % de la superficie de Gaza. Il ne s’agit pas seulement d’une réoccupation d’une partie supplémentaire de ce territoire déjà extrêmement restreint. Il s’agit de la suppression de toutes les conditions permettant la vie et la survie dans la bande de Gaza. Dans cette configuration, Gaza deviendrait pratiquement inhabitable.

WOW A website is DOCUMENTING Israel’s crimes with GEOLOCATION, dates, categories of crimes, and footage of the incidents themselves. One click and you can see EXACTLY what Israel did. An enormous digital archive built for ACCOUNTABILITY. Link: genocide.live Direct Link: experience.arcgis.com/experience/3fb…

🇮🇱Israel at 7:00 PM — “Israeli Minister Ben Gvir humiliating members of the international flotilla.” 🇪🇸 Pedro Sánchez at 8:00 PM –– 🔥 “We are not letting anyone mistreat Spanish citizens. I already banned this criminal Israeli minister from Spain back in September. Now I’m taking it to Brussels to get him banned across all of Europe.” That’s what a real leader looks like. Sánchez is Europe's backbone👏🔥

🇮🇱💥🇵🇸 Vous ne verrez pas ça dans les médias ! 🤐 🚨 Israël verse du béton sur les sources d'eau utilisées par les Palestiniens.

Saher Alghorra (NYT) has won the Pulitzer Prize for Breaking News Photography for "his haunting, sensitive series showing the devastation and starvation in Gaza"

keyboard_arrow_left Previous keyboard_arrow_right Next

« (...) dans une série d'audios WhatsApp, Signal et Telegram, obtenus exclusivement par Canal RED et Hondurasgate, on découvre une opération d'ingérence politique et de corruption aux proportions historiques, qui comprend le retour de Hernández à la présidence du Honduras avec le soutien de Trump et le financement israélien. Le plan est simple : céder aux États-Unis et à Israël le contrôle des zones de développement, une base militaire américaine et le développement législatif d'un environnement juridique favorable aux entreprises d'intelligence artificielle des États-Unis et d'Israël. » diario-red.com/articulo/ameri…

Sci-Hub is an evil website that pirated 85M+ research papers and made them freely available And now they've added AI to their database to make Sci-Bot. It answers your questions using latest, full-text articles. But DO NOT use it. We should all try to make billion-dollar academic publishers richer. I'm putting the link below so you know how to avoid it.