https://iihudgzaat.wordpress.com

Blog Tool, Publishing Platform, and CMS – WordPress.org

Open source software which you can use to easily create a beautiful website, blog, or app.WordCamp US 2026 is coming to Phoenix this August. Get your tickets↗ WordCamp US 2026 is here! Watch daily recordings on YouTube↗ Meet WordPress The open source publishing platform of choice for millions of websites worldwide—from creators ...

wordpress.org

AI宣布森多夫猜想告破!陶哲轩发现它隐藏的更强结果凤凰网

论文链接:https://www.proofatlas.ai/papers/sendov-conjecture/SENDOV_CONJECTURE_PROOF_AUGUST_5_2026.pdf 8 月 12 日,陶哲轩在博客发文,称自己花了数天时间(同样在大量 AI 辅助下)将这份证明消化、简化并重新形式化,新版 Lean 代码缩减到约 1.5 万行。博客链接:https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proo...

手机凤凰网

菲尔兹奖得主:AI现在主要靠「抬杠」突破重大数学猜想凤凰网

不光把题做出来了,还能冒出一种大家从没想过的新方法。更妙的是,这方法回头一看又特别顺,甚至能被其他数学家接着拿去做出一串新成果。到了那一步,AI完成的事情,就已经远远超出从巨大搜索空间里把答案薅出来。 AI在数学界的身份,可能才真的变了。参考链接: [1]https://gowers.wordpress.com/2026/08/12/what-sort-of-maths-are-llms-go...

手机凤凰网

Some questions for possible submission to the next Kourovka notebook

The Kourovka notebook. Unsolved problems in group theory.Edited by Evgeny I. Khukhro and Victor D. Mazurov. Russian Academy of Sciences Siberian Branch, Sobolev Institute of Mathematics, Novosibirsk. 302 pp. as of 21st edition (2026). Readable athttps://kourovkanotebookorg.wordpress.com/wp-content/uploads/2026/07/21tkt.pdf.https://ar...

arxiv.org 7月21日

ZAYA1-8B Technical Report

Bartoldson (2026)B. BartoldsonCheaply approximating kl against an ema: an async rl hack.https://brianbartoldson.wordpress.com/2026/05/04/cheaply-approximating-kl-against-an-ema-an-async-rl-hack/.Cited by: §IV-F§IV-F. Chenet al.(2025)A. Chen, A. Li, B. Gong, B. Jiang, B. Fei, B. Yang, B. Shan, C. Yu, C. Wang, C. Zhu,et al.Minimax-m1: sc...

arxiv.org 5月6日