@dominiquesoenens.bsky.social zo'n venkel-sinaas salade is zeker niet slecht, 't is goedgekeurd.
Hendrik De Bie
@debiehendrik.bsky.social
Mathematician. Professor at UGent.
Now that was a depressing interview with Tsimerman in the Notices of the AMS: #MathSky www.ams.org/journals/not...
AMS :: Notices of the American Mathematical Society
ams.org
De man van “waar is de taart”, een belangrijke publicatie voor wiskundigen in spe
Bibliofilie@bibliofilie.bsky.social · 6d agoThé Tjong-Khing is vandaag 93 geworden. De gerenommeerde illustrator is nog steeds actief en won vele prijzen, o.a. de Gouden Penseel. Als mensen hem vragen of de hele dag tekenen niet saai is, zegt hij: 'Ik heb vandaag een prinses bevrijd van een draak. En jij?'
interesting move given the SMF's decision not to formally participate
CNRS Mathématiques@cnrs-insmi.bsky.social · 2w agoFrance, with its world-renowned school of mathematics, is taking part in #ICM2026 under the joint banner ‘Math In France’ 📌See you next to the Benjamin Franklin Stage! @cnrs.fr | IHES | IHP | @cirm-math.bsky.social | Mathdoc | CIMPA | @franceuniversites.bsky.social | QRT | BNP Paribas | CFM
AI companies scanning and shredding old and rare books is bad, but you should be aware that shredding new, old, and used books is an established practice of selling and marketing books. In fact, hundreds of millions of books are shredded every year discretly, and legally, in Europe alone. #booksky
Beetje pissig dat mijn kindle van 2011 door Amazon niet meer ondersteund wordt, en geen nieuwe boeken meer kan ontvangen.
Een hele dag couteautjes verzamelen om dan te leren dat de bloemen hier betaald worden in kinderhandjes willekeurige schelpen 🙄
The real question regarding the recent breakthroughs of AI in math is the total cost in staff and energy pertaining to it. A ridiculously expensive way of disproving an Erdös conjecture. #MathSky
But I certainly agree that it is tremendously sad that, just as we were making gains against commercial publishing companies who were effectively privatizing publicly funded scientific research, we've lost all that ground again to commercial AI companies doing the same thing on larger scale.
A really good mathematician told me Anthropic is paying people like him $250/hour to improve Fable by throwing hard math problems at it. They also get a separate account where they can use Fable for their own purposes. They can do it for 5 months maximum.
Voor de oudste moet ik tegenwoordig elke avond 'het fluitketeltje' van Annie M.G. Schmidt lezen, en dat staat vol dingen waar ze absoluut geen context over heeft (kolenfornuis, lapjes, zjuu, ...), dus ik ben wat in verbazing dat ze dat zo leuk lijkt te vinden. www.dbnl.org/tekst/schm00...
Het fluitketeltje, Het fluitketeltje en andere versjes, Annie M.G. Schmidt - DBNL
Op deze pagina lees je de tekst 'Het fluitketeltje en andere versjes' van Annie M.G. Schmidt
dbnl.org
Let me expand upon this 🔽 and say something about AIs, mathematics, proofs, conjectures, problem-solving, goalposts, paperclips, genii and, more importantly, Campbell/Goodhart's law. 🧵⤵️ •1/38
Gro-Tsen@gro-tsen.bsky.social · 3w ago… it turns out that, as LLMs have shown us, you can solve problems without developing any interesting math or teaching us much of worth, so the “problem solving” criterion was wrong all along (or only applicable for humans). Now this is embarrassing because it looks like the goalposts are moving. …
This is the weakness of AI. We, as editors, see hundreds of submissions per year. We see the patterns; the probabilistic repetitions; the common structure. The unoriginality becomes visible a mile off, but remains invisible to someone who is using the tool, simply because of the volume we see.
hey news media, if you want a historian to comment on the Fields Medal leak my contact info is very easy to find
Michael Barany@mjb.mathstodon.xyz.ap.brid.gy · 3w ago
Het Zwitsers leger verlaat Microsoft. De redenen die ze hiervoor aanhalen zijn ook geldig voor onze overheden en voor ons onderwijs, onderzoek en zorg: lnkd.in/p/gFcgdxtu
Swiss Army breaks with Microsoft: "Cyber Command" relies on Open Source | Steven Rogge
Het Zwitsers leger verlaat Microsoft. De redenen die ze hiervoor aanhalen zijn ook geldig voor onze overheden en voor ons onderwijs, onderzoek en zorg: 1. The US Cloud Act makes Microsoft 365 unusabl...
lnkd.in
Op basis van geen statistische analyse lijken artsen in hun opleiding of beroepsuitoefening sneller en sneller te leren spreken, terwijl ik als lesgever trager en trager heb moeten leren spreken.
Fijn voor die 34 wetenschappers dat ze bij ons verder kunnen. Maar er had wel bij vermeld gemogen dat dit uiteindelijk ten koste gaat van 34 wetenschappers die al in Nederland werkten. Er is geld verschoven tussen potjes maar geen extra geld gekomen www.volkskrant.nl/wetenschap/t...
Topwetenschappers uit de VS zoeken heil in Nederland. ‘Hier kan ik mijn werk voortzetten in een open omgeving’
29 topwetenschappers verhuizen van de Verenigde Staten naar Nederland om hun onderzoek hier voort te zetten. Zij krijgen geld uit een speciaal fonds dat vorig jaar is ingesteld om wetenschappers te st...
volkskrant.nl
Ontwaken met het nieuws dat collega Denis Constales (veel te vroeg) overleden is. We schreven samen verschillende artikels, en hebben 2 doctorandi samen begeleid. Hij was een zeer belezen man, en was de kampioen van de Laplace transformatie (en een genererende functie hier en daar).
Basisvakken geven betekent ook deliberatielijsten van tiental richtingen binnenkrijgen (van zodra 1 student een vak van jou gevolgd heeft), soms weet je zelfs niet goed waarom (geomatica??).
Voor mij is het (drie)dubbel. Ik zie drie problemen met bachelor/masterproef, die afhankelijk van het wetenschapsdomein zwaarder of minder zwaar zullen doorwegen:
Pascal Debruyne@pdbruyne.bsky.social · last mo.Blij dat mijn collega aangeeft wat ik gisteren al aangaf. Nu wordt de afschaffing van de bachelorproef nogal pedagogisch verpakt. Terwijl de initiële aanleiding de besparingen waren van de Vlaamse overheid. Misschien had men dat beter aangekaart dan AI. www.standaard.be/opinies/de-p...
In de hele discussie over airco vraag ik mij af of dat nu al zo gebruikelijk is dat mensen dat hebben. Ik hoor geregeld wel eens van iemand die zo'n draagbaar ding gekocht heeft, maar echt een inbouwinstallatie ken ik toch niet veel mensen.
Graag uw tips voor publieke ruimtes (bib, koffiehuis, ...) met airco in het Gentse! 't is niet voor mij maar voor de 300 examens die ik nog moet quoteren.
A nice article on the arXiv: just because LLM-generated Lean proofs compile without "sorry" (essentially a gap that needs filling), it doesn't mean they're correct. It's too easy to get the definitions wrong. I think we all knew this, but it's great to see. #Lean #MathSky
Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi-Autonomous Formalization
Large language models can often close proof gaps in interactive theorem provers, but a verified theorem is not the same thing as a reusable library contribution. We study this distinction through a…
arxiv.org