@clontz.org
Mathematician, professor, puzzler, cat juggler (he/him)
clontz.org
orcid.org/0000-0002-4938-4274
Professor SouthAlabama.edu
Co-founder PreTeXt.plus, ScholarLattice.org
(Views expressed are my own and do not represent my employer or companies.)
@clontz.orgNot to mention, the social aspect of talking about a shared experience with your friends and geeking out about the hidden lore with people online.
@jeremykun.comReposted by @clontz.orgNew fraud dropped: arxiv.org/abs/2610.10072
> The result is also contained in a paper released by OpenAI on October 6, 2026, in which the proof strategy and specific choices of notation are identical to a preliminary version of the present paper that was uploaded to ChatGPT on September 8, 2026.
@courtneygibbons.phdReposted by @clontz.orgCan linear algebra feel pain?
@clontz.orgThis is violence
@clontz.orgI updated my example to not have an introduction
@clontz.orgI think that's optional.
@clontz.org@clontz.orgExercise > Task is correct. One sec and I'll demo
@clontz.orgSomething something #MathSky @code4math.org
@clontz.orgThen for my next act, I formally proved 0=1, by exploiting a bug I purposely added to the system. Computer aided reasoning in mathematics is going to be amazing for human researchers, actually. But right now I'm quite skeptical of these AI slop dumps...
@clontz.orgLast week in our department colloquium I showed how to formally prove that Hausdorff implies Urysohn separation. It was really easy. I just had to define Urysohn incorrectly. (And in reality: topology.pi-base.org/spaces?q=%24... )
@aeporreca.orgReposted by @clontz.orgSomeone at AHM pointed out this paper which seems to cast doubt on the validity of the statement proved by the OpenAI Navier-Stokes paper. Too tired to read it, but here it is. arxiv.org/abs/2610.08144
@clontz.orgI've always taught endpoints as potential local extrema. This fits the topology definition: f has is local max at c if there exists a neighborhood where f(c)≥f(x) for all x in that neighborhood. Neighborhoods at endpoints of closed intervals contain half open intervals.
@clontz.orgI'll believe those results when OpenSI verifies them.
@clontz.orgChat is it good that the kid is now asking about Amazing Digital Circus characters, and that I know the answers? (Apparently YouTube Kids has TADC Content, but as far as I can tell, not the actual episodes. Not sure any of it should be there...)
@mtrc.bsky.socialReposted by @clontz.orgEvery AI/HCI paper I review now just sounds like this.
![Research [25] shows that people [26] enjoy the feeling of winning games [3,5,19]. Enjoying things can lead to longer life expectancy [2], higher economic productivity [9,22,33-40,302] and improve mental health [9]. Yet many games still include losing players [67,4]. A recent study showed that less than half of the players in a Chess [1] match win on average [42]. We have developed an LLM-driven co-creative [66], user-led [11], mixed-initiative [80] assistant for Chess [2], through which players can redefine the rules of Chess [3] using generative AI prompting such that they are the winner of Chess [4]. A study (n=3) showed that 100\% of people felt better, healthier and more self-actualised after using our tool, showing that this may be the way forward for games and human culture more broadly in the future.](https://cdn.bsky.app/img/feed_fullsize/plain/did:plc:h5kgtr755iczaqxomeh2pmh7/bafkreicu2p2o3is64z5k37n222hgahp67ssca6ro3nggbjtpwasig2zzbi@jpeg)
@clontz.orgThis post made me realize Mother 3 is 20 years old and that can't be true because that'd be half a lifetime ago.
@clontz.orgThis post is brought to you by the three hours and gallons of water spent fixing my toilet, and the one important step I glossed over. 😅
@clontz.orgOne of my most teacher coded qualities is that I get irrationally angry at instruction manuals that give directions, and sometimes insist a step is critical, but don't explain why the instruction is necessary or what it serves towards the overall project.
