Tootfinder

Bundesdigitalministerium will über IT-Ausgaben des Bundes mitentscheiden
Sollen künftig wesentliche IT-Ausgaben aller Ressorts vom Digitalminister Karsten Wildberger freigegeben werden? Er hält daran weiter fest.

Šita nuomonė LRT mane įtikino: https://www.lrt.lt/naujienos/nuomones/3/2709205/gediminas-karoblis-matematine-barbaryste

#Fox News host on mentally ill people who commit crimes: “Just kill them”
https://www.mediamatters.org/fox-friends/fox-news-host-mentally-ill-p…

Terence Tao is often called the “Mozart of Math.”
A child prodigy born in Australia, Tao, 50, is now at the top of his field at the University of California at Los Angeles,
working in the rarefied realms of partial differential equations or harmonic analysis on problems so hard it may take a PhD to understand them.
But for the past few weeks, he’s been preoccupied with more run-of-the-mill pecuniary concerns: fundraising.

Being one of the world’s greatest mathematic…

The world’s greatest mathematician avoided politics. Then Trump cut science funding.
Terence Tao, a renowned mathematician at UCLA, faced funding challenges after the Trump administration froze federal research funds.

"When someone shows you who they are, believe them the first time." - Maya Angelou
https://www.mediamatters.org/fox-friends/fox-news-host-mentally-ill-people-who-commit-crimes-just-kill-them

O amarelinho, ex-prisioneiro, apareceu agora hš pouco. Dš pra perceber com nitidez como ele estš mais magro e como seu pelo estš menos saudšvel do que costumava ser.
https://social.linux.pizza/@matematico314/115357678350152632

Mathematical Computation and Reasoning Errors by Large Language Models
Liang Zhang, Edith Aurora Graf
https://arxiv.org/abs/2508.09932 https://arxiv.org/pd…

Mathematical Computation and Reasoning Errors by Large Language Models
Large Language Models (LLMs) are increasingly utilized in AI-driven educational instruction and assessment, particularly within mathematics education. The capability of LLMs to generate accurate answers and detailed solutions for math problem-solving tasks is foundational for ensuring reliable and precise feedback and assessment in math education practices. Our study focuses on evaluating the accuracy of four LLMs (OpenAI GPT-4o and o1, DeepSeek-V3 and DeepSeek-R1) solving three categories of m…

Next #Nix and #NixOS #Heidelberg meetup on Friday, October 17 at the Institute for Computer Science (Mathematikon). Save the date! :blobcatnomcookie: :nixos:

(Tilaajille) Luontodokumentit ovat muuttuneet: mukaan ovat tulleet ihmiset, pahiksiksi #luonto

Luontodokumentit ovat muuttuneet: mukaan ovat tulleet ihmiset, pahiksiksi
Nykypäivän luontodokumenteissa viitataan usein ihmisen osuuteen ilmastonmuutoksessa ja lajikadossa. Ongelmaratkaisijan rooleja alkaa kuitenkin olla tarjolla.

RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
Hamed Mahdavi (Pennsylvania State University), Pouria Mahdavinia (Pennsylvania State University), Samira Malek (Pennsylvania State University), Pegah Mohammadipour (Pennsylvania State University), Alireza Hashemi (City University of New York), Majid Daliri (New York University), Alireza Farhadi (Amirkabir University of Technology), Amir Khasahmadi (Autodesk), Niloofar Mireshghallah (Carnegie Mellon …

RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows
State-of-the-art (SOTA) LLMs have progressed from struggling on proof-based Olympiad problems to solving most of the IMO 2025 problems, with leading systems reportedly handling 5 of 6 problems. Given this progress, we assess how well these models can grade proofs: detecting errors, judging their severity, and assigning fair scores beyond binary correctness. We study proof-analysis capabilities using a corpus of 90 Gemini 2.5 Pro-generated solutions that we grade on a 1-4 scale with detailed err…