Doctor IotaMay 19

We have created two mini apps: Fantastic Fractals and Triangular Geometry. The web versions are available at https://driota.xyz. Android versions are also currently in preview (see the webpage for information). Comments and suggestions are greatly appreciated.
Tutorial videos are available on YouTube:
https://www.youtube.com/watch?v=1p4UONYYCo8
https://www.youtube.com/watch?v=Cawd_Qzz2yQ

#math #geometry #proofs #triangle #fractal #interactive #animated

Doctor Iota — Interactive math you can play with

A small set of focused web apps for fractals, geometry, and other interactive mathematics.

Dennis Alexis Valin DittrichApr 29
AI could destroy mathematics and barely touch it
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
#AI challenges the "theorem economy" by automating #proofs while overlooking human intuition. Bessis argues that math's true product is understanding, not just results, which AI cannot yet replicate. The discipline's focus on theorems over concepts makes it vulnerable to machines that solve problems without building meaning. To remain relevant, mathematicians must emphasize the field's role in human sense-making rather than competitive symbol-pushing. Success depends on valuing the process of cognitive elevation and the creation of shared conceptual language.
#mathematics #philosophy
The fall of the theorem economy

How AI could destroy mathematics and barely touch it

David Bessis
Nikitas SotiropoulosApr 17
Season 2, Episode 9 is live.
Estimates behave, contours close, and a late‑night mistake gets fixed the right way.
Mathematics in motion not just results, but refinement.
#Mathematics #Proofs #LearningInPublic
https://cortexdrifter.blogspot.com/2026/04/a-small-taste-from-my-new-book-season-2_17.html
A Small Taste from My New Book: Season 2 Episode 9

Explorations in analytic number theory, asymptotic analysis, and unsolved problems, written by a mathematician and software engineer.

Hacker NewsMar 30

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?

https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/

#HackerNews #Math #Rigor #Digitized #Proofs #Mathematics #Education #Digital #Innovations

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? | Quanta Magazine

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.

Quanta Magazine
Soh Kam YungMar 27

"How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"

https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/

#Mathematics #Formal #Proofs #Computers #Lean

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? | Quanta Magazine

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.

Quanta Magazine
Show threadPaul HealeyMar 23
@urlyman Others might hold that there is a confluence between the limits of Algorithmic Information; the modelling of digital and analogue processes and Information Algorithms; the reasons for the effective and beneficial processing of properties states. With no proof, are LLMs and quantum computers not just the projection and gaslighting of abstract relations and the reductionist predication of presuppositions? #Models #Proofs #Algorithms #Information #QuantumComputers #LLM #PhilosophyOfAlgorithms
giulia zornettaMar 18
medieval #proofs 👯‍♀️
Piia BartosFeb 17

Phew, managed to read through the proofs of an article today. Was a bit tight, only had 15 mins of working time left. It always tends to take longer than expected.

#proofs #publishing #AcademicChatter #AcademicFedi #manuscript #science #research

💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱Feb 4

Blocked by person refusing to believe a #Mathematics #textbook and #proofs because of a random #Wikipedia article that doesn't cite any Maths textbooks, and in fact has proofs in it that actually contradict the conclusion! (the series 0.1, 0.01, 0.001, 0.0001,... never reaches zero, even as the series approaches infinity - it's a hyperbola with an asymptote of 0 - which you think would be self-evident, and yet here we are) Welcome to the #disinformation age! 😡

https://dotnet.social/@SmartmanApps/115207044364101854

Hacker NewsJan 17

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

https://www.lesswrong.com/posts/rhAPh3YzhPoBNpgHg/lies-damned-lies-and-proofs-formal-methods-are-not-slopless

#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology

Lies, Damned Lies, and Proofs: Formal Methods are not Slopless — LessWrong

There's been a lot of chatter recently on HN and elsewhere about how formal verification is the obvious use-case for AI. While we broadly agree, we think much of the discourse is kinda wrong because it incorrectly presumes formal = slopless.