#fractal #fractalart #fractalwork #fractalartwork #artwork #math #mathematics #art
@jeandeslunes.bsky.social
@waynerad.bsky.socialOpenAI has released 722 math papers "covering 372 result families" of previously unsolved problems in mathematics. Crucially not all of these have computer-verifiable proofs in Lean.
#solidstatelife #ai #genai #codingai #mathematics #proofs #lean
@napocornejo.bsky.socialThis is scary, but mostly I think it's very, very sad.
#Mathematics , for millennia a noble and pure human endeavour, will be turned into a cheap commodity without soul. 😞
OpenAI publishes 377 papers in bulk, solving long standing mathematical problems.
@madreflections.bsky.socialAI In Mathematics Challenges Academic Norms - IEEE Spectrum share.google/yraM0ozPzsNv...
Open AI is skirting ethics issues by stealing mathematical research and using it to solve problems. AI isn't perfect and is capable of using flawed information. There needs to be oversight. #openai #mathematics
@mintz.tezoscommons.org🧩 20260930110443-158005625
#generative #art #digital #code #geometry #mathematics #visual #patterns
By: Acydxs
https://objkt.com/tokens/KT1Jmt8TvuekCJYmznMZhQS1C3FiQyRbEmzf/25
@juliocaceres.bsky.social#OpenAI just posted hundreds more results on major #math #problems
The new results are likely to expand AI #controversy roiling the #mathematics #community.
Read More: www.engadget.com/2279815/open...
@mediaactive.bsky.social“‘It is now the case that AI can output mathematical arguments in situations without the human who prompted it being able to understand the arguments, verify them, or take responsibility for them’”. #AI #mathematics www.theguardian.com/technology/2...
@fabmusacchio.bsky.social#NaviesStokes lost in translations: #Lean can verify a formal proof perfectly well, while the #AI may have changed the actual #mathematical argument during translation
1/N
@passagemath.orgRelease candidate 10.8.13.rc1 of 🐙passagemath, the pip-installable modularized portable compatible full-featured fork of #SageMath; a comprehensive #OpenSource #Mathematics system in #Python.
Updates #FLINT to 3.6.0, e-antic to 2.1.1.
github.com/passagemath/...
@mathify-dev.bsky.socialHow One Arithmetic Sum Creates a 7/8 Zero-Free Wall
Follow for the equations hiding behind the news.
@imathtutor.bsky.socialYesterday we linked to a compendium of opinions on the future of math in the age of AI at Terry Tao's blog. Timothy Gowers was among the contributors of the compendium. 🧵1/2
#mathematics #math #artificialIntelligence #AI
Source: buff.ly/eoPuq66
@j363j.bsky.socialNumerical Benchmarks for Two AI-Generated Theorems: The O(4) Mass Gap and Bloch’s Law
@fabmusacchio.bsky.socialSmall personal highlight from yesterday’s workshop: @rmcelreath.bsky.social bringing up #Ramanujan’s series for 1/pi. Did not expect Srinivasa Ramanujan to make an appearance there, but I very much appreciated it 😄
@paysmaths.bsky.socialCarnival of Maths 255
Source : The Aperiodical / Math Off The Grid / Benjamin Leis
@paysmaths.bsky.socialDouble Maths First Thing: Issue 6D
Source : The Aperiodical / Colin Beveridge
buff.ly/Q9VM0An
@imathtutor.bsky.socialThis our last unscheduled post on last night's "data dump" by OpenAI.
#mathematics #math #ArtificialIntelligence #AI
Source: buff.ly/oj8kxbY
