Deutschland
Joined February 2023
Im Gespräch mit dem Oberstufenschüler Boris Rundenberg (Pädagogium Bad Sachsa). Schülerinitiative: 95 Thesen zur Erneuerung der mathematisch-naturwissenschaftlichen Bildung. youtube.com/watch?v=OKGNAT5E…
10
565
Petition zur Erneuerung der mathematisch-naturwissenschaftlichen Bildung an deutschen Gymnasien. openpetition.de/petition/onl…
5
20
3
59
5,252
The Wolf Prize in Mathematics was awarded to my friend and coauthor Joseph Bernstein. From the citation: ''A distinctive characteristic of Bernstein’s work is his insistence on utter simplicity and clarity of both question and answer.'' wolffund.org.il/joseph-berns…
1
5
382
Prof. Dr. Bernhard Krötz retweeted
OpenAI is downplaying this for PR reasons. If you’re a mathematician, you must feel like a nuclear bomb hit, and you’re at ground zero. Reasoning models are two years-old. In that time they went from incapable of basic arithmetic to solving problems humans couldn’t solve for decades. Math is only the beginning. AI will revolutionize the entirety of the human scientific endeavor. Most of us don’t appreciate what that means. What a time to be alive!
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 public recommendations to inform how we release these results. github.com/openai/math
270
934
141
11,372
1,002,633
Prof. Dr. Bernhard Krötz retweeted
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
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 public recommendations to inform how we release these results. github.com/openai/math
226
984
191
9,892
1,291,831
Prof. Dr. Bernhard Krötz retweeted
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 public recommendations to inform how we release these results. github.com/openai/math
1,903
6,305
4,768
40,708
22,724,368
Prof. Dr. Bernhard Krötz retweeted
arXiv has updated our policy on rate limiting for all submitters. This update was made to fairly distribute moderator time & support the arXiv community of staff, volunteers, readers & authors. Please read our announcement to learn more: blog.arxiv.org/2026/10/01/up…
79
496
240
1,730
760,232
Prof. Dr. Bernhard Krötz retweeted
I think AIs are starting to dominate humans in mathematical discoveries. I asked Astra to list the 10 most impressive mathematical discoveries for each month for the past 12 months, explicitly not considering if AI played a role. Then I asked it to classify the role of AI in these results, and also rank the results. Over the past 3 months, AIs are dominating the most impressive monthly results, AND the results are getting more impressive. I think this has very scary implications for getting AIs to automate AI R&D (recursive self improvement). I previously thought that AIs were probably just automating the easiest AI R&D projects. But it seems like they are able to automate the hardest math projects, so I think they might be able to also automate the hardest AI research. Hopefully this is wrong and the AIs are good at math because they've been RL'd super hard on this, and it will be hard to RL on AI research.
6
5
3
52
7,489
Prof. Dr. Bernhard Krötz retweeted
Researchers proved AI has deleted every reason universities exist. Harvard University ran a controlled experiment pitting a custom AI against their own top-tier classrooms. And the results are going to collapse the higher education bubble. They took 194 undergraduates and split them up. One group learned physics in one of Harvard’s best hands-on, active-learning physical classrooms. Group work. Instructor support. The premium university experience. The other group went home and learned the exact same material with an AI tutor. The AI didn't just win. It embarrassed the institution. Students using the AI learned more than twice as much as the students in the elite Harvard classroom. They scored 30% higher on the final assessment. And they did it in less time. Let that sink in. A piece of software sitting on a laptop outperformed a world-class faculty in one of the most elite learning environments on Earth. Universities have always justified their exorbitant tuition with two things: access to elite knowledge and the physical classroom experience. This study just proved both of those moats are gone. When software can teach you complex physics twice as well as a $60,000-a-year institution, the math of higher education breaks permanently. The AI didn't just give the students answers. It used strict pedagogical guardrails. It guided. It questioned. It forced the students to do the cognitive work. It offered perfect, one-to-one tutoring, personalized to the exact moment a student misunderstood a concept. That level of attention is mathematically impossible to scale in a physical lecture hall. For a thousand years, the university was the only place to get a premium education. Now, it’s the bottleneck. If AI can double your learning speed for a fraction of the cost, what exactly are students taking on decades of debt to pay for?
1,083
3,048
709
14,347
1,273,823
Gleitzeit macht Schule in Niedersachsen. COOL-Stunden mit Coaches (vormals Lehrern) als optimale Vorbereitung für das zukünftige Abhängen an der modernen Wohlfühl-Uni. ndr.de/nachrichten/niedersac…
4
2
1
29
2,160
OpenAI löste jüngst für schmales Geld 10 extrem schwierige und weithin bekannte Probleme der Mathematik. Da sehen selbst die Exzellenzcluster sehr alt aus – und die verschlingen Millionen. xitter.cf/OpenAI/status/20843521…
An internal version of our next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughly $2,000 worth of tokens at GPT-5.6 Sol API rates.
7
1
22
1,853
Die wissenschaftliche Publikation kann man hier einsehen: cdn.openai.com/pdf/ten-proof…
1
5
674
Dr. Astrid Baumann: Die bayerische schriftliche Subtraktion: top oder Flop? Ganzer Vortrag: drive.google.com/file/d/11ML…
3
2
1
15
1,933
Bayern hat sich als erstes Bundesland für die „didaktische“ Subtraktion entschieden und sich vom intelligenten und effizienten Rechnen nach Adam Ries verabschiedet. Minus-Problem an Bayerns Schulen via @sz sz.de/1.1497586
8
3
2
45
5,040
Die mutige Schülerinitiative 95 Thesen zur Erneuerung der mathematisch-naturwissenschaftlichen Bildung an Gymnasien freut sich über weitere Unterzeichner. Zu den 95 Thesen: pdfhost.io/de-DE/v/58yYx5FjA…
10
18
4
91
5,268
The winners of the fields medal in 2030 are AI1, AI2, AI3, AI4. Publisher: X. xitter.cf/__alpoge__/status/2079…
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
1
13
1,338