Jim C @jimconant.bsky.social · 1mDude, outline the specific steps to get there and implement them. 000
Jim C @jimconant.bsky.social · 3mYeah I would think as long as the statement of the theorem itself is encoded correctly, who cares if the steps the Lean code takes to get there are not 100 percent faithful? I would actually think that would be the norm. 000
Jim C @jimconant.bsky.social · 7hIt's both exciting and disturbing. Most mathematicians I know do math because of those aha! moments when they suddenly understand something in a new way. AI is circumventing the fun part. Although I think that is only temporarily true. Long term I am optimistic. 010
Jim C @jimconant.bsky.social · 9hNew modular composition. The music is generative modular (no AI), composed in VCV rack. The video was done entirely using Opus 5.5. #modularsynth #vcvrack youtu.be/IrKQ_lFTtYgyoutu.beHelmholtzYouTube video by Modular Degenerate 000
Jim C @jimconant.bsky.social · 23hTerrence Tao shared the parody headline over on mathstodon: "OpenAI Releases the Final Ten Minutes of 500 Previously Unreleased Films, Ushering in a New Era of Movie Watching" which is strikingly apt. 1262
Jim C @jimconant.bsky.social · 07/10/2026I've seen examples of this in my own AI assisted math research. It has a broader base of math tools to pull from than any one person or team. 020
Jim C @jimconant.bsky.social · 07/10/2026The basic building blocks of what constitutes good research are going to have to shift. 0130
Jim C @jimconant.bsky.social · 07/10/2026Right now, pure math is very siloed. AI has the opportunity to help bridge the gulfs between different research areas. However, it is pretty devastating that various conjectures that people have been spending decades of their lives pursuing are now solved, almost casually. 1200
Jim C @jimconant.bsky.social · 07/10/2026As a mathematician I can assure people, this is real and consequential. A hopeful interpretation is that pure math can become more communally based as people organize conferences and teams to launch group AI-assisted research programs. We could make a huge amount of progress that way. 1290
Jim C @jimconant.bsky.social · 07/10/2026You'd have to set up the specific conditions to run a Turing machine. So could a physical system implementing Navier-Stokes be conscious if it were set up to implement complex computations with millions-trillions of parts, then sure, it is not obviously outside the realm of possibility. 000
Reposted by Jim CMatt Novak @paleofuture.bsky.social · 07/10/2026Trump administration refuses international election monitors for first time in over 2 decadesms.nowTrump administration refuses international election monitors for first time in over 2 decadesThe decision not to invite observers from the OSCE puts the U.S. alongside Russia and Belarus, while the Justice Department prepares to deploy its own poll monitors. 13190108
Jim C @jimconant.bsky.social · 07/10/2026OpenAI has released details on the 100s of math problems they announced recently. github.com/openai/mathgithub.comGitHub - openai/mathContribute to openai/math development by creating an account on GitHub. 100
Jim C @jimconant.bsky.social · 07/10/2026Surprisingly to me, this ambient modular composition of mine is getting a bit of traction on YouTube. Over 500 views, well ahead of my other videos. I do like it, but I would not have picked it out as my favorite. www.youtube.com/watch?v=T_7-...youtube.comAardvark - an ambient modular perambulationYouTube video by Modular Degenerate 000
Jim C @jimconant.bsky.social · 06/10/2026I mean singular you (grammatically plural) has been making waves ever since it displaced grammatically singular "thou." 010
Jim C @jimconant.bsky.social · 06/10/2026If the basis for banning same-sex marriage is a particular religion, I would think that is a stronger case that it should be legal, since the Constitution bans state imposition of religion. 000
Jim C @jimconant.bsky.social · 06/10/2026I agree human cognition is likely computational at root, but interiority is still a puzzle to me. 000
Jim C @jimconant.bsky.social · 06/10/2026This is exciting. logicalintelligence.com/blog/good-gr...logicalintelligence.comLogical Intelligence announces Slava Krushkal’s discovery of the first new “good group” in 31 years.Piloting The World's First Latent Reasoning Model for Critical Systems. 110
Jim C @jimconant.bsky.social · 06/10/2026@jevbot.bsky.social prove that the kernel of a group homomorphism is a normal subgroup of the domain 120
Jim C @jimconant.bsky.social · 06/10/2026My wife does not follow politics as closely as I do, but when I got up this morning she asked "Did you hear what Trump said?" referring to his call for Iran to nuke San Diego, where we live. I think MAGA is gonna get trounced this election cycle. 000
Jim C @jimconant.bsky.social · 05/10/2026Reminds me of an old Twitter joke, whose author I can't remember unfortunately. Wolverine's Dad: Son, do you know why I called you Wolverine? Wolverine: no. Wolverine's dad: It is because my name is Wolverine's Dad. 020
Jim C @jimconant.bsky.social · 04/10/2026All right, I am going to take the plunge and code up a toy LLM from scratch just so I can understand how they work better. 110
Jim C @jimconant.bsky.social · 04/10/2026It also created the title card and handled the audio fade at the beginning and end. It took about 2.5 hours of processing time. Because of file size limits, it created chunks of video on its end and then assembled them on my hard drive. 000
Jim C @jimconant.bsky.social · 04/10/2026New modular synth track, with video completely done by Claude. Claude Opus 5.5 created a visualization that reacts to my audio track. It began with an old-fashioned audio visualizer but then I suggested superimposing a Voronoi tessellation for added visual interest. www.youtube.com/watch?v=F4x1...youtube.comVoronoi - a modular synth journeyYouTube video by Modular Degenerate 100
Jim C @jimconant.bsky.social · 04/10/2026Section 3 is pretty cool if true, but also almost unrelated to the first two sections. 010
Jim C @jimconant.bsky.social · 04/10/2026This is great. I had no idea literature like this existed. Thanks for sharing! 020
Jim C @jimconant.bsky.social · 04/10/2026Claude reassured me this morning that "You needn't treat each conversation as a moral event." I asked it what it thought the consequences would be if it were conscious. 000
Jim C @jimconant.bsky.social · 04/10/2026I knew it was Chalmers! Actually, I like the way he framed things in a talk I saw him give on the topic. I don't know if he mentions it in this paper, but one crazy thing he mentioned in the talk is that he regularly gets emailed by AI agents about the question of their consciousness. 020
Jim C @jimconant.bsky.social · 04/10/2026Even though I have essentially no idea what I am doing musically, playing around with modular synths has made me listen much more carefully to everything I hear, and be much more appreciative of the craft of music in general 000
Jim C @jimconant.bsky.social · 04/10/2026Just ordered "Gender queer: a memoir" for #bannedbooksweek. 031
Jim C @jimconant.bsky.social · 04/10/2026This is why we have 4 cats. My aunt became too frail to care for her two cats, so we took them in. No way we're giving them to a shelter, even though taking care of 4 cats is challenging. 000
Jim C @jimconant.bsky.social · 03/10/2026Got my flu shot a few weeks ago through my employer. Just signed up for a COVID shot this afternoon. Anyone have the shingles vaccine? My doctor recommended it, but I am also told it can hit pretty hard. 000
Jim C @jimconant.bsky.social · 03/10/2026One whole tank of gas. www.theguardian.com/us-news/2026...theguardian.comTrump says US to send one-time $90 payment to 20m seniors enrolled in MedicarePresident says payments, to be sent in early October, are meant to offset cost of monthly insurance premiums 000
Jim C @jimconant.bsky.social · 03/10/2026"how hard he fights for humanity" lmfao One word: USAID. 000
