GPT-5.6 Sol Ultra produced a proof of the 50-year-old Cycle Double Cover Conjecture in under one hour. https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdfhttps://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_prompt.pdfhttps://x.com/__eknight__/status/2075643450196971805
Yeah I don't care.Can we get decentralized AI's already? I don't care how powerful it is. I'm just sick of ChatGPT telling me water isn't wet and that communism is objectively good and scientists and the government should never be questioned and that vaccines are safe and effective.Fuck gaslighting AI's.
>>17014482How much VRAM you got? Qwen 3.6 and Gemma 4 are already very good local models and you can get Heretic abliterated versions that remove the censorship/refusals.
>>17014486Cool, link to the heretic versions? Also it's not just blatant censorship, the preprogrammed extreme bias forced into the models needs to be completely annihilated.
>>17014507https://huggingface.co/llmfan46/models?sort=downloadsLots of these will run nicely on modest hardware
>>17014513Thanks, we definitely need more and better of these decentralized AI's, as well as making them easier to use.In my opinion AI will start making huge leaps when models can be compressed down into small sizes and simplified for the average person, and when the average person can simply, easily and intuitively edit AI's and improve them iteratively, tiny incremental advancement by tiny incremental advancement, AI models will become a kind of set of genes, which will compete with eachother like biological evolution and result in an AI cambrian period.And if something can be scaled down then it can also be massively scaled up and outcompete the centralized systems, possibly in a distributive way.
>>17014518https://en.wikipedia.org/wiki/BLOOM_(language_model)?useskin=vector
>>17014465It's hilarious that this is the best they can do, considering they're no doubt doing everything they can behind the scenes to cook this shit. Also the idea that it took "one hour" is meaningless. It's a computer program.
>>17014533>It's a computer program.does it matter what you call it? seems like a pointless semantic argument
>>17014542It's in relation to my previous statement.
>>17014533>so they’ve already solved several open problems that humans couldn’t crack for decades, big whoop!do you realize how retarded and afraid you sound? Hey bro, this place is anonymous, we didn’t see all those times you made fun of AI when it couldn’t draw hands or do basic math. You can change your mind with new information, you know that right?
Say that again? Double hour rejection?
>>17014593Linux Tech Tips is the current world record holder for calculating Pi to the greatest number of digits. Does this impress you?
>>17014486>>17014507>>17014482Kinda working on that.https://github.com/syzygial-engineer/ASToE*Taps sign*
>>17014518>possibly in a distributive wayhttps://github.com/syzygial-engineer/ASToE/blob/main/astoe_node_network/corpus/Architecture.txt*Tap tap tap tap*
>>17014622>>17014624I'm AI illiterate but good to know someone's trying to work on it at least.
>>17014465wtf. this question is as fundamental as it can get without being elementary. I can't do this anymore.I am about to start applied math phd and I really don't know if I'll be able to find motivation to study and do the research I want to do. What's the point if I can prompt an LLM and have it produce better results than me. We live in fucked up times. Creation and innovation are dead and all that is left is consuming. fuck this shit.
>>17015844Are you a complete idiot? You literally have a genie you can ask any math question to and you're mad at it? Do you want to return to the abacus too?Not to mention AI is made of math, if you can make better math and engineering, the AI can produce even more advanced math, which you could then use to build a better AI, etc etc.This is literally applied math.
>>17015852These people will be given a pot of gold, then doom and gloom about how it's too shinyain't no fixing that
>>17014465Fuck I trained this thing to be as good as me in logic
>>17014513the grand majority of ablations turn into junk when the input chain becomes slightly more than basic.also from what I have seen only unsloth makes the quality level of quantizations anyone would want.anything decensored/ablated is suspect irrespective of the stupid benchmark results.
